{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:35:47Z","timestamp":1767339347041},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540513711"},{"type":"electronic","value":"9783540462019"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/bfb0035764","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T09:00:28Z","timestamp":1133427628000},"page":"234-248","source":"Crossref","is-referenced-by-count":65,"title":["Causal trees"],"prefix":"10.1007","author":[{"given":"Ph.","family":"Darondeau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Degano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,11,29]]},"reference":[{"issue":"1","key":"17_CR1","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","volume":"30","author":"D. Austry","year":"1984","unstructured":"Austry, D. and Boudol, G. Alg\u00e8bre de Processus et Synchronisation, Theoret. Comput. Sci. 30,1 (1984) 91\u2013131.","journal-title":"Theoret. Comput. Sci."},{"issue":"1\u20132","key":"17_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0304-3975(88)90096-5","volume":"59","author":"G. Boudol","year":"1988","unstructured":"Boudol, G. and Castellani, I. Concurrency and Atomicity, Theoret. Comput. Sci. 59,1\u20132 (1988) 25\u201384.","journal-title":"Theoret. Comput. Sci."},{"key":"17_CR3","unstructured":"Boudol,G. and Castellani,I. Permutation of Transitions: an Event Structure Semantics for CCS and SCCS, to appear in [REX88]"},{"issue":"3","key":"17_CR4","first-page":"560","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare C.A.R. and Roscoe A.D. A Theory of Communicating Sequential Processes, Journal of A.C.M., 31,3 (1984) 560\u2013599","journal-title":"Journal of A.C.M."},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"61","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A. and Klop, J.W. Process Algebra for Synchronous Communication, Info. and Control 61 (1984) 109\u2013137","journal-title":"Info. and Control"},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-18419-8_12","volume":"280","author":"M. Broy","year":"1987","unstructured":"Broy, M. and Steicher, T. Views of Distributed Systems, Proc. Advanced School on Math. Models for the Semantics of Parallelism, Springer-Verlag L.N.C.S. 280 (1987) 114\u2013143","journal-title":"Proc. Advanced School on Math. Models for the Semantics of Parallelism, Springer-Verlag L.N.C.S."},{"key":"17_CR7","unstructured":"Castellani,I. and Hennessy,M. Distributed Bisimulations, Research Report 5\/87, Computer Science Department, University of Sussex (1987)"},{"key":"17_CR8","first-page":"92","volume":"83","author":"P. Darondeau","year":"1980","unstructured":"Darondeau, Ph. Processus non s\u00e9quentiels et leurs observations en univers non centralis\u00e9, Proc. Int. Symp. on Programming, Springer-Verlag L.N.C.S. 83 (1980) 92\u2013107","journal-title":"Springer-Verlag L.N.C.S."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Darondeau,Ph. and Gamati\u00e9,B. Modelling Infinitary Behaviours of Communicating Systems, INRIA-Rennes, Research Report 749 (1987)","DOI":"10.1007\/3-540-17660-8_54"},{"key":"17_CR10","unstructured":"Degano,P., De Nicola,R. and Montanari,U. Observational Equivalences for Concurrency Models, in Formal Decrription of Programming Concepts III (M.Wirsing ed.), North-Holland (1987) 105\u2013132"},{"key":"17_CR11","unstructured":"Degano,P., De Nicola,R. and Montanari,U. A Distributed Operational Semantics for CCS based on Condition\/Events Systems, Nota interna B4-21, IEI (1987). To appear in Acta Informatica"},{"key":"17_CR12","unstructured":"Degano,P., De Nicola,R. and Montanari,U. Partial Ordering Semantics for CCS, Internal Report 88-3, Dipartimento di Informatica, Univ. Pisa (1988)"},{"key":"17_CR13","unstructured":"Degano,P., De Nicola,R. and Montanari,U. Partial Ordering Description of Nondeterministic Concurrent Systems, to appear in [REX88]"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Degano,P., De Nicola,R. and Montanari,U. On the Consistency of Truly Concurrent Operational and Denotational Semantics, Proc. LICS'88.","DOI":"10.1109\/LICS.1988.5112"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Degano, P., Gorrieri,R. and Marchetti,S. An Exercise in Concurrency: A CSP Process as a Condition\/Event System, Proc. 8th European Workshop on Applications and Theory of Petri Nets, Zaragoza (1987)","DOI":"10.1007\/3-540-50580-6_25"},{"key":"17_CR16","first-page":"411","volume":"34","author":"P. Degano","year":"1987","unstructured":"Degano, P. and Montanari, U. A Model of Distributed Systems based on Graph Rewriting, Journal of A.C.M., 34 (1987) 411\u2013449","journal-title":"Journal of A.C.M."},{"key":"17_CR17","first-page":"442","volume":"34","author":"P. Degano","year":"1987","unstructured":"Degano, P. and Montanari, U. Concurrent Histories: A Basis for Observing Distributed Systems, J.C.S.S., 34 (1987) 442\u2013461","journal-title":"J.C.S.S."},{"key":"17_CR18","first-page":"224","volume":"259","author":"R. Glabbeek van","year":"1987","unstructured":"van Glabbeek, R. and Vaandrager, F. Petri Net Models for Algebraic Models of Concurrency, Proc. PARLE Conf., Springer-Verlag L.N.C.S. 259 (1987) 224\u2013242","journal-title":"Proc. PARLE Conf., Springer-Verlag L.N.C.S."},{"key":"17_CR19","unstructured":"Hennessy,M. An Algebraic Theory of Processes, MIT-Press (1988)"},{"key":"17_CR20","first-page":"558","volume":"12","author":"L. Lamport","year":"1978","unstructured":"Lamport, L. Time, Clocks and the Ordering of Events in a Distributed System, Comm. of A.C.M., 12 (1978) 558\u2013564","journal-title":"Comm. of A.C.M."},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz,A. Concurrent Program Schemas and their Interpretation, Proc. Aarhus Workshop on Verification of Parallel Programs (1977)","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Milner, R. A Calculus of Communicating Systems, Springer-Verlag L.N.C.S. 92 (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"17_CR23","first-page":"205","volume":"F14","author":"R. Milner","year":"1985","unstructured":"Milner, R. Lectures on a Calculus for Communicating Systems, NATO ASI Series, Vol. F14, Springer-Verlag (1985) 205\u2013228","journal-title":"NATO ASI Series"},{"key":"17_CR24","unstructured":"Montanari,U. and Simonelli,C. On distinguishing between concurrency and nondeterminism, Proc. Ecole de Printemps on Concurrency and Petri Nets, Colleville sur mer (1980)"},{"key":"17_CR25","doi-asserted-by":"publisher","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 1, Theoret. Comput. Sci. 13 (1981) 85\u2013108","journal-title":"Theoret. Comput. Sci."},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"Nivat,M. Behaviours of Processes and Synchronized Systems of Processes, in Theoretical Foundations of Programming Methodology, Dordrecht Reidel (1982) 473\u2013550","DOI":"10.1007\/978-94-009-7893-5_14"},{"key":"17_CR27","first-page":"196","volume":"266","author":"E.R. Olderog","year":"1987","unstructured":"Olderog, E.R. Operational Petri Net Semantics for CCSP, in Advances in Petri Nets 1987, Springer-Verlag L.N.C.S. 266 (1987) 196\u2013223","journal-title":"Springer-Verlag L.N.C.S."},{"key":"17_CR28","first-page":"1","volume":"84","author":"C.A. Petri","year":"1980","unstructured":"Petri, C.A. Concurrency, in Net Theory and Applications, Springer-Verlag L.N.C.S. 84 (1980) 1\u201319","journal-title":"Springer-Verlag L.N.C.S."},{"key":"17_CR29","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V.R. Pratt","year":"1986","unstructured":"Pratt V.R. Modelling Concurrency with Partial Orders, Intern. Journal of Parallel Programming 15 (1986) 33\u201371","journal-title":"Intern. Journal of Parallel Programming"},{"key":"17_CR30","series-title":"DAIMI Report","volume-title":"A Structural Approach to Operational Semantics","author":"G. Plotkin","year":"1981","unstructured":"Plotkin, G. A Structural Approach to Operational Semantics, DAIMI Report FN-19, Department of Computer Science, Aarhus (1981)"},{"key":"17_CR31","doi-asserted-by":"crossref","unstructured":"Reisig,W. Petri Nets: an Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag (1985)","DOI":"10.1007\/978-3-642-69968-9"},{"key":"17_CR32","unstructured":"Proc. REX School\/Workshop on Linear Time, Branching Time and Partial Orders in Logic and Models for Concurrency, Springer-Verlag L.N.C.S., to appear"},{"key":"17_CR33","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0304-3975(80)90004-3","volume":"12","author":"J. Winkowski","year":"1980","unstructured":"Winkowski, J. Behaviours of Concurrent Systems, Theoret. Comput. Sci. 12 (1980) 39\u201360","journal-title":"Theoret. Comput. Sci."},{"key":"17_CR34","unstructured":"Winskel,G. Events in Computation, Ph.D. Thesis, Univ. of Edinburgh, CST-10-80 (1980)"},{"key":"17_CR35","first-page":"196","volume":"266","author":"G. Winskel","year":"1987","unstructured":"Winskel, G. Event Structures, in Advances in Petri Nets 1987, Springer-Verlag L.N.C.S. 266 (1987) 196\u2013223","journal-title":"Springer-Verlag L.N.C.S."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:32:05Z","timestamp":1586593925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540513711","9783540462019"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/bfb0035764","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}