{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:46Z","timestamp":1725456046125},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051662X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018342","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:50:09Z","timestamp":1132645809000},"page":"5-20","source":"Crossref","is-referenced-by-count":5,"title":["An algebraic view of interleaving and distributed operational semantics for CCS"],"prefix":"10.1007","author":[{"given":"Ugo","family":"Montanari","sequence":"first","affiliation":[]},{"given":"Daniel N.","family":"Yankelevich","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Badouel, E., Une Construction Syst\u00e9matique de Mod\u00e8les \u00e0 Partir de Sp\u00e9cifications Op\u00e9rationnelles Structurelles, Report n o 764, INRIA, 1988."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Boudol, G. and Castellani, I., Permutation of Transitions: an Event Structure Semantics for CCS and SCCS, in: J. W. de Bakker, W. T. de Roever and G. Rozenberg (Eds.), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Springer LNCS 354, pp. 411\u2013427, 1988.","DOI":"10.1007\/BFb0013028"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Degano, P., De Nicola, R. and Montanari, U., Partial Ordering Derivations for CCS, Proc. 5th Int. Conf. on Fundamentals of Computation Theory (L. Budach, ed.), LNCS 199, pp. 520\u2013523, Springer-Verlag, 1985.","DOI":"10.1007\/BFb0028836"},{"key":"2_CR4","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\/Event Systems, Acta Informatica 26, pp. 59\u201391 (1988).","journal-title":"Acta Informatica"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Degano, P., Meseguer, J., Montanari, U., Axiomatizing Net Computations and Processes, Proc. 4th Symp. on Logics in Computer Science, IEEE 1989.","DOI":"10.1109\/LICS.1989.39172"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Degano, P., De Nicola, R., Montanari, U., On the Consistency of \u201cTruly Concurrent\u201d Operational and Denotational Semantics, Proc. 3rd Symp. on Logics in Computer Science, IEEE 1988, pp. 133\u2013141.","DOI":"10.1109\/LICS.1988.5112"},{"issue":"2\/3","key":"2_CR7","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1016\/0022-0000(87)90032-8","volume":"34","author":"P. Degano","year":"1987","unstructured":"Degano, P. and Montanari, U., Concurrent Histories: A Basis for Observing Distributed Systems, Journal of Computer and System Sciences, Vol. 34, April\/June 1987, No.2\/3, pp. 422\u2013461.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Gorrieri, R., Marchetti, S. and Montanari, U., A2CCS: A Simple Extension Of CCS For Handling Atomic Actions, Proc. CAAP 1988, Springer LNCS 299, pp. 258\u2013270.","DOI":"10.1007\/BFb0026109"},{"key":"2_CR9","unstructured":"Meseguer, J. and Montanari, U., Petri Nets are Monoids, Technical Report SRI-CSL-88-3, CS Lab., SRI International, January 1988, also Information and Computation, to appear."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Meseguer, J. and Montanari, U., Petri Nets are Monoids: A New Algebraic Foundation for Net Theory, Proc. 3rd Symp. on Logics in Computer Science, IEEE 1988, pp. 155\u2013164.","DOI":"10.1109\/LICS.1988.5114"},{"key":"2_CR11","doi-asserted-by":"crossref","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, pp. 205\u2013228, Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-82921-5_5"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Olderog, E.-R., Operational Petri Net Semantics for CCSP, in: Advances in Petri Nets 1987, (G. Rozenberg, ed.) LNCS 266, pp. 196\u2013223, Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18086-9_27"},{"key":"2_CR13","series-title":"Technical Report DAIMI FN-19","volume-title":"A Structural Approach to Operational Semantics","author":"G. Plotkin","year":"1981","unstructured":"Plotkin, G., A Structural Approach to Operational Semantics, Technical Report DAIMI FN-19, Aarhus University, Department of Computer Science, Aarhus, 1981."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Reisig, W., Petri Nets: An Introduction, EACTS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"2_CR15","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, 197\u2013238 (1987).","journal-title":"Info. and Co."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Winskel, G., Event Structures for CCS and Related Languages, PROC. 9 th ICALP, LNCS 140, Springer-Verlag, 1982, pp. 561\u2013576.","DOI":"10.1007\/BFb0012800"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Montanari, U. and Sgamma, M., Canonical Representatives for Observational Equivalence Classes, Proc. Colloquium On The Resolution Of Equations In Algebraic Structures, Lakeway, Texas, May 4\u20136, 1987, North-Holland, 1989, to appear.","DOI":"10.1016\/B978-0-12-046370-1.50014-0"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018342.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:41:05Z","timestamp":1607550065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018342"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051662X"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0018342","relation":{},"subject":[]}}