{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,14]],"date-time":"2026-10-14T12:01:39Z","timestamp":1791979299541,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540610649","type":"print"},{"value":"9783540499442","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61064-2_43","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:14:54Z","timestamp":1330290894000},"page":"272-286","source":"Crossref","is-referenced-by-count":2,"title":["Denotational, causal, and operational determinism in 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,2]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"P. Darondeau and P. Degano. Causal trees=interleaving+ causality. In Guessarian, ed., Semantics of Systems of Concurrent Processes, vol. 469 of LNCS, pp. 239\u2013255. Springer, 1990.","DOI":"10.1007\/3-540-53479-2_10"},{"key":"20_CR2","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF01463946","volume":"28","author":"J. Engelfriet","year":"1991","unstructured":"J. Engelfriet. Branching processes of Petri nets. Acta Inf., 28:575\u2013591, 1991.","journal-title":"Acta Inf."},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"J. Meseguer, U. Montanari, and V. Sassone. On the semantics of Petri nets. In W. R. Cleaveland, ed., Concur '92, vol. 630 of LNCS, pp. 286\u2013301. Springer, 1992.","DOI":"10.1007\/BFb0084798"},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"M. Nielsen, G. D. Plotkin, and G. Winskel. Petri nets, event structures and domains, part 1. Theoretical Comput. Sci., 13:85\u2013108, 1981.","journal-title":"Theoretical Comput. Sci."},{"key":"20_CR5","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, eds., A Decade of Concurrency, vol. 803 of LNCS, pp. 425\u2013476. Springer, 1994.","DOI":"10.1007\/3-540-58043-3_25"},{"key":"20_CR6","unstructured":"A. Rensink. Deterministic pomsets. Hildesheimer Informatik-Berichte 94\/30, Universit\u00c4t Hildesheim, Nov. 1994."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"A. Rensink. A complete theory of deterministic event structures. In I. Lee and S. A. Smolka, eds., Concur '95: Concurrency Theory, vol. 962 of LNCS, pp. 160\u2013174. Springer, 1995.","DOI":"10.1007\/3-540-60218-6_12"},{"key":"20_CR8","unstructured":"A. Rensink. Denotational, causal, and operational determinism in event structures. Hildesheimer Informatik-Berichte 95\/29, Universit\u00c4t Hildesheim, Sept. 1995."},{"key":"20_CR9","unstructured":"A. Rensink. Further deterministic behavioural models for concurrency. Hildesheimer Informatik-Berichte 95\/30, Universit\u00c4t Hildesheim, Oct. 1995."},{"key":"20_CR10","unstructured":"V. Sassone. On the Semantics of Petri Nets: Processes, Unfoldings and Infinite Computations. PhD thesis, Universit\u00e1 de Pisa, Mar. 1994. Available as TD-6\/94."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"V. Sassone, M. Nielsen, and G. Winskel. A classification of models for concurrency. In E. Best, ed., Concur '93, vol. 715 of LNCS, pp. 82\u201396. Springer, 1993.","DOI":"10.1007\/3-540-57208-2_7"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"V. Sassone, M. Nielsen, and G. Winskel. Deterministic behavioural models for concurrency. In A. M. Borzyszkowski and S. Soko\u0142owski, eds., Mathematical Foundations of Computer Science 1993, vol. 711 of LNCS, pp. 682\u2013692. Springer, 1993.","DOI":"10.1007\/3-540-57182-5_59"},{"key":"20_CR13","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/0304-3975(91)90333-W","volume":"79","author":"F. W. Vaandrager","year":"1991","unstructured":"F. W. Vaandrager. Determinism \u2192 (event 2structure isomorphism = step sequence equivalence). Theoretical Comput. Sci., 79:275\u2013294, 1991.","journal-title":"Theoretical Comput. Sci."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event structures. In W. Brauer, W. Reisig, and G. Rozenberg, eds., Petri Nets: Applications and Relationships to Other Models of Concurrency, vol. 255 of LNCS, pp. 325\u2013392. Springer, 1987.","DOI":"10.1007\/3-540-17906-2_31"}],"container-title":["Lecture Notes in Computer Science","Trees in Algebra and Programming \u2014 CAAP '96"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61064-2_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:07Z","timestamp":1605647047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61064-2_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610649","9783540499442"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61064-2_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}