{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:24:13Z","timestamp":1775053453799,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540529538","type":"print"},{"value":"9783540471851","type":"electronic"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/bfb0029614","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:33:46Z","timestamp":1133415226000},"page":"239-245","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Event structures, causal trees, and refinements"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,11]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Aceto L. and Hennessy M. Towards Action Refinement in Process Algebras proc. LICS'89 (138\u2013145) 1989","DOI":"10.1109\/LICS.1989.39168"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Boudol G. Computations of Distributed Systems, part I: Flow Event Structures and Flow Nets, INRIA-RR (to appear) 1990","DOI":"10.1007\/3-540-53479-2_4"},{"key":"23_CR3","first-page":"1","volume":"59","author":"G. Boudol","year":"1989","unstructured":"Boudol G. and Castellani I. Concurrency and Atomicity. TCS 59 (1\u201360) 1989","journal-title":"TCS"},{"key":"23_CR4","first-page":"411","volume":"354","author":"G. Boudol","year":"1988","unstructured":"Boudol G. and Castellani I. Permutation of Transitions: an Event Structure Semantics for CCS and SCCS. LNCS 354 (411\u2013427) 1988","journal-title":"LNCS"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Castellani I. and Zhang G.Q. Parallel Product of Event Structures. INRIA-RR 1078, 1989","DOI":"10.7146\/dpb.v18i285.6663"},{"key":"23_CR6","first-page":"234","volume":"372","author":"P. Darondeau","year":"1989","unstructured":"Darondeau P. and Degano P. Causal Trees. LNCS 372 (234\u2013248) 1989","journal-title":"LNCS"},{"key":"23_CR7","unstructured":"Degano P., De Nicola R., and Montanari U. On the Consistency of Truly Concurrent Operational and Denotational Semantics, proc. LICS'88, 1988"},{"key":"23_CR8","first-page":"438","volume":"354","author":"P. Degano","year":"1988","unstructured":"Degano P., De Nicola R., and Montanari U. Partial Ordering Descriptions of Nondeterministic Concurrent Processes. LNCS 354 (438\u2013466) 1988","journal-title":"LNCS"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"van Glabbeek R. and Goltz U. Refinement of Actions-in Causality Based Models Arbeitpapier der GMD 428, 1990","DOI":"10.1007\/3-540-52559-9_68"},{"key":"23_CR10","first-page":"237","volume":"379","author":"R. Glabbeek van","year":"1989","unstructured":"van Glabbeek R. and Goltz U. Equivalence Notions for Concurrent Systems and Refinement of Actions. LNCS 379 (237\u2013248) 1989","journal-title":"LNCS"},{"key":"23_CR11","unstructured":"van Glabbeek R. and Goltz U. Equivalence Notions and Refinement of Actions for Flow Event Structures. Manuscript, Munchen and Sankt Augustin, 1990"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Loogen R. and Goltz U. Modelling Nondeterministic Concurrent Processes with Event Structures, to appear in Fundamenta Informaticae, 1990","DOI":"10.3233\/FI-1991-14103"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Milner R. A Calculus of Communicating Systems. LNCS 92, 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen M., Plotkin G., and Winskel G. Petri Nets, Event Structures and Domains, part I. TCS 13 (85\u2013108) 1981","journal-title":"TCS"},{"key":"23_CR15","unstructured":"Trakhtenbrot B., Rabinovitch A., and Hirschfeld J. Discerning Causality in the Behaviour of Automata. TR 104\/88, Tel Aviv University, 1988"},{"key":"23_CR16","unstructured":"Vaandrager F. An Explicit Representation of Equivalence Classes of the History Preserving Bisimulation. Manuscript, CWI-Amsterdam, 1989"},{"key":"23_CR17","unstructured":"Vaandrager F. SOS and Partial Order Semantics. Talk given at a Workshop on Concurrency and Compositionality in San Miniato, 1990"},{"key":"23_CR18","first-page":"364","volume":"354","author":"G. Winskel","year":"1988","unstructured":"Winskel G. An Introduction to Event Structures. LNCS 354 (364\u2013397) 1988","journal-title":"LNCS"},{"key":"23_CR19","first-page":"561","volume":"140","author":"G. Winskel","year":"1982","unstructured":"Winskel G. Event Structure Semantics for CCS and Related Languages LNCS 140 (561\u2013576) 1982","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1990"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T01:33:59Z","timestamp":1736127239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029614"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540529538","9783540471851"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0029614","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990]]},"assertion":[{"value":"11 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}