{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T16:35:03Z","timestamp":1732034103047},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631415"},{"type":"electronic","value":"9783540691884"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63141-0_22","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:09:28Z","timestamp":1330297768000},"page":"317-331","source":"Crossref","is-referenced-by-count":19,"title":["Causal ambiguity and partial orders in event structures"],"prefix":"10.1007","author":[{"given":"Rom","family":"Langerak","sequence":"first","affiliation":[]},{"given":"Ed","family":"Brinksma","sequence":"additional","affiliation":[]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1006\/inco.1994.1088","volume":"114","author":"G. Boudol","year":"1994","unstructured":"G. Boudol and I. Castellani. Flow models of distributed computations: three equivalent semantics for CCS. Information and Computation, 114:247\u2013314, 1994.","journal-title":"Information and Computation"},{"key":"22_CR2","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, volume 354 of Lecture Notes in Computer Science. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0013019"},{"key":"22_CR3","unstructured":"L. Ferreira Pires. Architectural Notes: A Framework for Distributed Systems Development. PhD thesis, University of Twente, 1994."},{"key":"22_CR4","unstructured":"J-P. Katoen. Quantitative and Qualitative Extensions of Event Structures. CTIT Ph. D-thesis series no. 96-09, University of Twente, 1996."},{"key":"22_CR5","unstructured":"R. Langerak. Transformations and Semantics for LOTOS. PhD thesis, University of Twente, 1992."},{"key":"22_CR6","unstructured":"R. Langerak. Bundle event structures: a non-interleaving semantics for LOTOS. In M. Diaz and R. Groz, editors, Formal Description Techniques V, volume C-10 of IFIP Transactions, pages 331\u2013346. North-Holland, 1993."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"R. Langerak, E. Brinksma, and J.-P. Katoen. Causal ambiguity and partial orders in event structures. CTIT technical report, University of Twente, 1997.","DOI":"10.1007\/3-540-63141-0_22"},{"key":"22_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/FI-1991-14103","volume":"14","author":"R. Loogen","year":"1991","unstructured":"R. Loogen and U. Goltz. Modelling nondeterministic concurrent processes with event structures. Fundamentae Informaticae, 14:39\u201374, 1991.","journal-title":"Fundamentae Informaticae"},{"issue":"1","key":"22_CR9","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"},{"key":"22_CR10","unstructured":"A. Rensink. Models and Methods for Action Refinement. PhD thesis, University of Twente, 1993."},{"key":"22_CR11","unstructured":"Rob van Glabbeek. Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Free University of Amsterdam, 1990."},{"key":"22_CR12","unstructured":"G. Winskel. Events in Computation. PhD thesis, University of Edinburgh, 1980. (also available as Technical Report CST-10-80)."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"G. Winskel. An introduction to event structures. In de Bakker et al. [dBdRR89], pages 364\u2013397.","DOI":"10.1007\/BFb0013026"}],"container-title":["Lecture Notes in Computer Science","CONCUR '97: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63141-0_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T11:35:10Z","timestamp":1640950510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63141-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631415","9783540691884"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-63141-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}