{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:34:43Z","timestamp":1725680083657},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297083"},{"type":"electronic","value":"9783642297090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29709-0_10","type":"book-chapter","created":{"date-parts":[[2012,5,12]],"date-time":"2012-05-12T05:49:34Z","timestamp":1336801774000},"page":"86-94","source":"Crossref","is-referenced-by-count":0,"title":["Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction"],"prefix":"10.1007","author":[{"given":"Roman","family":"Dubtsov","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automat. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"10_CR2","unstructured":"Bednarczyk, M.A.: Categories of asynchronous systems. PhD thesis, University of Sussex, UK (1987)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BFb0031995","volume-title":"Real-Time: Theory in Practice","author":"T. Henzinger","year":"1992","unstructured":"Henzinger, T., Manna, Z., Pnueli, A.: Timed Transition Systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 226\u2013251. Springer, Heidelberg (1992)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T.T., Sassone, V.: Comparing Transition Systems with Independence and Asynchronous Transition Systems. In: International Conference on Concurrency Theory, pp. 84\u201397 (1996)","DOI":"10.1007\/3-540-61604-7_49"},{"key":"10_CR5","series-title":"Graduate Texts in Mathematics","volume-title":"Categories for the working mathematician","author":"S. McLane","year":"1971","unstructured":"McLane, S.: Categories for the working mathematician. Graduate Texts in Mathematics. Springer, Berlin (1971)"},{"issue":"1-2","key":"10_CR6","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0304-3975(96)80710-9","volume":"170","author":"V. Sassone","year":"1996","unstructured":"Sassone, V., Nielsen, M., Winskel, G.: Models for concurrency: towards a classification. Theoretical Computer Science\u00a0170(1-2), 297\u2013348 (1996)","journal-title":"Theoretical Computer Science"},{"issue":"5","key":"10_CR7","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1093\/comjnl\/28.5.449","volume":"28","author":"M.W. Shields","year":"1985","unstructured":"Shields, M.W.: Concurrent Machines. The Computer Journal\u00a028(5), 449\u2013465 (1985)","journal-title":"The Computer Journal"},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1134\/S0361768808030018","volume":"34","author":"I.B. Virbitskaite","year":"2008","unstructured":"Virbitskaite, I.B., Dubtsov, R.S.: Semantic domains of timed event structures. Programming and Computer Software\u00a034(3), 125\u2013137 (2008)","journal-title":"Programming and Computer Software"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Event Structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, pp. 325\u2013392. Springer, Heidelberg (1987)"},{"key":"10_CR10","first-page":"1","volume":"4","author":"G. Winskel","year":"1995","unstructured":"Winskel, G., Nielsen, M.: Models for concurrency. Handbook of Logic in Computer Science\u00a04, 1\u2013148 (1995)","journal-title":"Handbook of Logic in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29709-0_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T22:05:04Z","timestamp":1606169104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29709-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297083","9783642297090"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29709-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}