{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,14]],"date-time":"2026-10-14T12:01:40Z","timestamp":1791979300039,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540602187","type":"print"},{"value":"9783540447382","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60218-6_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:50:58Z","timestamp":1330278658000},"page":"160-174","source":"Crossref","is-referenced-by-count":3,"title":["A complete theory of deterministic event structures"],"prefix":"10.1007","author":[{"given":"Arend","family":"Rensink","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(88)90051-5","volume":"60","author":"I. J. Aalbersberg","year":"1988","unstructured":"I. J. Aalbersberg and G. Rozenberg. Theory of traces. Theoretical Comput. Sci., 60:1\u201382, 1988.","journal-title":"Theoretical Comput. Sci."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"L. Aceto. Full abstraction for series-parallel pomsets. In S. Abramsky and T. S. E. Maibaum, editors, TAPSOFT '91, Volume 1, vol. 493 of Lecture Notes in Computer Science, pp. 1\u201325. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-53982-4_1"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"issue":"1","key":"12_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J. A. Bergstra","year":"1985","unstructured":"J. A. Bergstra and J. W. Klop. Algebra of communicating processes with abstraction. Theoretical Comput. Sci., 37(1):77\u2013121, 1985.","journal-title":"Theoretical Comput. Sci."},{"issue":"4","key":"12_CR5","doi-asserted-by":"crossref","first-page":"433","DOI":"10.3233\/FI-1988-11406","volume":"XI","author":"G. Boudol","year":"1988","unstructured":"G. Boudol and I. Castellani. A non-interleaving semantics for CCS based on proved transitions. Fund. Informaticae, XI(4):433\u2013452, Dec. 1988.","journal-title":"Fund. Informaticae"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"G. Boudol and I. Castellani. Permutations of transitions: An event structure semantics for CCS and SCCS. In de Bakker et al. [7], pp. 411\u2013427.","DOI":"10.1007\/BFb0013028"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors. Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, vol. 354 of Lecture Notes in Computer Science. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0013019"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"R. De Nicola and A. Labella. A completeness theorem for nondeterministic Kleene algebras. In I. Pr\u00edvara, B. Rovan, and P. Ru\u017ei\u010dka, editors, Mathematical Foundations of Computer Science 1994, vol. 841 of Lecture Notes in Computer Science, pp. 536\u2013545. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58338-6_100"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"J. L. Gischer","year":"1988","unstructured":"J. L. Gischer. The equational theory of pomsets. Theoretical Comput. Sci., 61:199\u2013224, 1988.","journal-title":"Theoretical Comput. Sci."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"R. van Glabbeek and U. Goltz. Equivalences and refinement. In I. Guessarian, editor, Semantics of Systems of Concurrent Processes, vol. 469 of Lecture Notes in Computer Science. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-53479-2_13"},{"issue":"2","key":"12_CR11","doi-asserted-by":"crossref","first-page":"427","DOI":"10.3233\/FI-1981-4210","volume":"IV","author":"J. Grabowski","year":"1981","unstructured":"J. Grabowski. On partial languages. Fund. Informaticae, IV(2):427\u2013498, 1981.","journal-title":"Fund. Informaticae"},{"key":"12_CR12","unstructured":"J. F. Groote. Process Algebra and Structured Operational Semantics. PhD thesis, University of Amsterdam, 1991."},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(86)90173-8","volume":"43","author":"J. Heering","year":"1986","unstructured":"J. Heering. Partial evaulation and \u03c9-completeness of algebraic specifications. Theoretical Comput. Sci., 43:149\u2013167, 1986.","journal-title":"Theoretical Comput. Sci."},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0890-5401(90)90033-E","volume":"84","author":"A. Lazrek","year":"1990","unstructured":"A. Lazrek, P. Lescanne, and J.-J. Thiel. Tools for proving inductive equalities, relative completeness, and \u03c9-completeness. Information and Computation, 84:47\u201370, 1990.","journal-title":"Information and Computation"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Basic notions of trace theory. In de Bakker et al. [7], pp. 285\u2013363.","DOI":"10.1007\/BFb0013025"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"M. Nielsen, V. Sassone, and G. Winskel. Relationships between models for concurrency. In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg, editors, A Decade of Concurrency, vol. 803 of Lecture Notes in Computer Science, pp. 425\u2013476. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58043-3_25"},{"issue":"1","key":"12_CR17","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. R. Pratt","year":"1986","unstructured":"V. R. Pratt. Modeling concurrency with partial orders. International Journal of Parallel Programming, 15(1):33\u201371, 1986.","journal-title":"International Journal of Parallel Programming"},{"issue":"4","key":"12_CR18","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1988-11404","volume":"XI","author":"A. Rabinovich","year":"1988","unstructured":"A. Rabinovich and B. A. Trakhtenbrot. Behaviour structure and nets. Fund. Informaticae, XI(4):357\u2013404, Dec. 1988.","journal-title":"Fund. Informaticae"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"A. Rensink. Posets for configurations! In W. R. Cleaveland, editor, Concur '92, vol. 630 of Lecture Notes in Computer Science, pp. 269\u2013285. Springer-Verlag, 1992.","DOI":"10.1007\/BFb0084797"},{"key":"12_CR20","unstructured":"A. Rensink. Deterministic pomsets. Hildesheimer Informatik-Berichte 94\/30, Institut f\u00fcr Informatik, Universit\u00e4t Hildesheim, Nov. 1994."},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"V. Sassone, M. Nielsen, and G. Winskel. Deterministic behavioural models for concurrency. In S. M. Borzyszkowski and S. Sokolowksi, editors, Mathematical Foundations of Computer Science, vol. 711 of Lecture Notes in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57182-5_59"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event structures. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Applications and Relationships to Other Models of Concurrency, vol. 255 of Lecture Notes in Computer Science, pp. 325\u2013392. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-17906-2_31"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"G. Winskel. An introduction to event structures. In de Bakker et al. [7], pp. 364\u2013397.","DOI":"10.1007\/BFb0013026"}],"container-title":["Lecture Notes in Computer Science","CONCUR '95: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60218-6_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:30:27Z","timestamp":1640943027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60218-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602187","9783540447382"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-60218-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}