{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T08:26:14Z","timestamp":1746001574180},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534792"},{"type":"electronic","value":"9783540468974"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53479-2_10","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:04:34Z","timestamp":1330207474000},"page":"239-255","source":"Crossref","is-referenced-by-count":13,"title":["Causal trees interleaving + causality"],"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,4]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"crossref","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\u00e9bre de Processus et Synchronization, Theoret. Compt. Sci. 30, 1 (1984), 91\u2013131.","journal-title":"Theoret. Compt. Sci."},{"issue":"1\u20132","key":"10_CR2","doi-asserted-by":"crossref","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."},{"issue":"3","key":"10_CR3","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":"10_CR4","doi-asserted-by":"crossref","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 SynchronousCommunication, Info. and Control 61 (1984) 109\u2013137.","journal-title":"Info. and Control"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A. and Klop, J.W. Process Theory Based on Bisimulation Semantics, in: [REX89], pp. 50\u2013122.","DOI":"10.1007\/BFb0013021"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Castellani, I. Bisimulation and Abstraction Homomorphisms, J.C.S.S., 34 (1987)","DOI":"10.1016\/0022-0000(87)90025-0"},{"issue":"4","key":"10_CR7","first-page":"887","volume":"36","author":"I. Castellani","year":"1989","unstructured":"Castellani, I. and Hennessy, M. Distributed Bisimulations, J. of A.C.M., 36, 4 (1989) 887\u2013911.","journal-title":"J. of A.C.M."},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Darondeau, Ph. and Degano, P. Causal Trees, Proc. 16th ICALP (G. Ausiello, M. Dezani-Ciancaglini and S. Ronchi Della Rocca Eds), Stresa, 11\u201315 July 1989, Springer-Verlag L.N.C.S. (1989) pp. 234\u2013248.","DOI":"10.1007\/BFb0035764"},{"key":"10_CR9","unstructured":"Darondeau, Ph. and Degano, P. About semantic action refinement, Fundamenta Informaticae, to appear."},{"key":"10_CR10","unstructured":"Darondeau, Ph. and Degano, P. Causal Trees, Event Structures and Refinement, to appear in Proc. 15th Symp. on Math. Foundations of Computer Science, Bansk\u00e0 Bystrica (CS) 1990."},{"key":"10_CR11","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":"10_CR12","unstructured":"Degano, P., De Nicola, R. and Montanari, U. Observational Equivalences for Concurrency Models, in Formal Description of Programming Concepts III (M. Wirsing ed.), North-Holland (1987), pp. 105\u2013132."},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P. Degano","year":"1988","unstructured":"Degano, P., De Nicola, R. and Montanari, U. A Distributed Operational Semantics for CCS based on Condition\/Events Systems, Acta Informatica 26 (1988), 59\u201391.","journal-title":"Acta Informatica"},{"key":"10_CR14","unstructured":"Degano, P. De Nicola, R. and Montanari, U. Partial Ordering Semantics for CCS, Internal Report 88-3, Dipartimento di Informatica, Universit\u00e0 di Pisa (1988), to appear in Theo. Comp. Sci."},{"key":"10_CR15","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, Edinburgh (1988).","DOI":"10.1109\/LICS.1988.5112"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Degano, P., De Nicola, R. and Montanari, U. Partial Ordering Description of Nondeterministic Concurrent Systems, in [REX88], pp. 438\u2013466.","DOI":"10.1007\/BFb0013030"},{"key":"10_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":"10_CR18","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R. and Goltz, U. Equivalence Notions for Concurrent Systems and Refinement of Actions, Proc. MFCS 89 (A. Kreczmar and G. Mirkowska Eds), Springer LNCS (1989) pp. 237\u2013248.","DOI":"10.1007\/3-540-51486-4_71"},{"key":"10_CR19","unstructured":"van Glabbeek, R. and Weijland, W.P. Branching Time and Abstraction in Bisimulation Semantics, Proc. IFIP Congress '89, (1989)."},{"key":"10_CR20","first-page":"137","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M. and Milner, R. Algebraic Laws for Nondeterminism and Concurrency, Journal of A.C.M., 32 (1985), 137\u2013161.","journal-title":"Journal of A.C.M."},{"key":"10_CR21","unstructured":"Kiehn, A. Distributed Bisimulation for Finite CCS, Proc. 2 nd Workshop on Concurrency and Compositionality, S. Miniato, 1990, pp. 45\u201347."},{"key":"10_CR22","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":"10_CR23","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":"10_CR24","series-title":"NATO ASI Series F","first-page":"205","volume-title":"Control Flow and Data Flow: Concepts of Distributed Programming","author":"R. Milner","year":"1984","unstructured":"Milner, R. Notes on a Calculus for Communicating Systems, in: Control Flow and Data Flow: Concepts of Distributed Programming M. Broy (Ed.), NATO ASI Series F: Vol. 14, (Springer-Verlag, Heidelberg, 1984), 205\u2013228."},{"key":"10_CR25","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":"10_CR26","unstructured":"Montanari, U. and Sassone, V. Dynamic Bisimulation, Universit\u00e0 di Pisa, Dipartimento di Informatica, Technical Report TR 13\/90, 1990."},{"key":"10_CR27","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielesn","year":"1981","unstructured":"Nielesn, 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":"10_CR28","unstructured":"Nivat, M. Behaviours of Processes and Synchronized Systems of Processes, in: Theoretical Foundations of Programming Methodology Dordrecht Reidel (1982), pp. 473\u2013550."},{"key":"10_CR29","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), pp. 196\u2013223.","journal-title":"Springer-Verlag L.N.C.S."},{"key":"10_CR30","first-page":"1","volume":"84","author":"C.A. Petri","year":"1980","unstructured":"Petri, C.A. Concurency, in: Net Theory and Applications, Springer-Verlag L.N.C.S. 84 (1980), pp. 1\u201319.","journal-title":"Springer-Verlag L.N.C.S."},{"key":"10_CR31","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V.R. Pratt","year":"1986","unstructured":"Pratt V.R. Modelling Concurrency with Partial Orders, International Journal of Parallel Programming 15 (1986) 33\u201371.","journal-title":"International Journal of Parallel Programming"},{"key":"10_CR32","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":"10_CR33","doi-asserted-by":"crossref","unstructured":"Proc. REX School\/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (J. de Bakker, W. de Roever, and G. Rozenberg Eds), 1988, Springer-Verlag L.N.C.S. 354 (1989).","DOI":"10.1007\/BFb0013019"},{"key":"10_CR34","first-page":"357","volume":"XI","author":"B. Trakhtenbrot","year":"1988","unstructured":"Trakhtenbrot, B. and Rabinovich, A. Nets of Processes, Fundamenta Informaticae XI (1988), 357\u2013404.","journal-title":"Fundamenta Informaticae"},{"key":"10_CR35","unstructured":"Vaandrager, F. An Explicit Representation of Equivalence Classes of the History Preserving Bisimulation, Unpublished Manuscript, June 1989."},{"key":"10_CR36","doi-asserted-by":"crossref","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, Theor. Comp. Sci. 12 (1980) 39\u201360.","journal-title":"Theor. Comp. Sci."},{"key":"10_CR37","unstructured":"Winskel, G. Events in Computations, Ph.D. Thesis, University of Edinburgh, CST-10-80 (1980)."},{"key":"10_CR38","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"Winskel, G. Petri Nets, Algebras, Morphisms and Compositionality, Info. and Co., 72, (1987), 197\u2013238.","journal-title":"Info. and Co."}],"container-title":["Lecture Notes in Computer Science","Semantics of Systems of Concurrent Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53479-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:50:06Z","timestamp":1605646206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53479-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534792","9783540468974"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-53479-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}