{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:45:08Z","timestamp":1762458308444},"reference-count":44,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1993,12,1]],"date-time":"1993-12-01T00:00:00Z","timestamp":754704000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7168,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[1993,12]]},"DOI":"10.1016\/0167-6423(93)90010-m","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T00:09:22Z","timestamp":1027642162000},"page":"225-261","source":"Crossref","is-referenced-by-count":2,"title":["Axiomatizing CCS, nets and processes"],"prefix":"10.1016","volume":"21","author":[{"given":"Nicoletta","family":"De Francesco","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Yankelevich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"5","key":"10.1016\/0167-6423(93)90010-M_BIB1","doi-asserted-by":"crossref","DOI":"10.1147\/rd.315.0512","article-title":"Direct semantics of concurrent languages in the SMoLCS approach","volume":"31","author":"Astesiano","year":"1987","journal-title":"IBM J. Res. Dev."},{"issue":"1","key":"10.1016\/0167-6423(93)90010-M_BIB2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","article-title":"Alg\u00e8bre de processus et synchronisations","volume":"30","author":"Austry","year":"1984","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0167-6423(93)90010-M_BIB3","series-title":"CWI Monographs","first-page":"89","article-title":"Algebra of communicating processes","volume":"1","author":"Bergstra","year":"1986"},{"issue":"1","key":"10.1016\/0167-6423(93)90010-M_BIB4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","article-title":"Sequential and concurrent behavior in Petri net theory","volume":"55","author":"Best","year":"1987","journal-title":"Theoret. Comput. Sci."},{"issue":"4","key":"10.1016\/0167-6423(93)90010-M_BIB5","first-page":"433","article-title":"A non-interleaving semantics for CCS based on proved transitions","volume":"11","author":"Boudol","year":"1988","journal-title":"Fund. Inform."},{"key":"10.1016\/0167-6423(93)90010-M_BIB6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-53479-2_5","article-title":"Three equivalent semantics for CCS","volume":"469","author":"Boudol","year":"1990"},{"key":"10.1016\/0167-6423(93)90010-M_BIB7","series-title":"Parallel Program Design: A Foundation","author":"Chandy","year":"1988"},{"key":"10.1016\/0167-6423(93)90010-M_BIB8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-53479-2_8","article-title":"Transition systems with algebraic structure as models of computations","volume":"469","author":"Corradini","year":"1990"},{"key":"10.1016\/0167-6423(93)90010-M_BIB9","article-title":"REX School\/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","volume":"354","year":"1989"},{"key":"10.1016\/0167-6423(93)90010-M_BIB10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-18419-8_13","article-title":"CCS is an (augmented) contact free C\/E system","volume":"280","author":"Degano","year":"1987"},{"issue":"1\u20132","key":"10.1016\/0167-6423(93)90010-M_BIB11","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","article-title":"A distributed operational semantics for CCS based on condition\/event systems","volume":"26","author":"Degano","year":"1988","journal-title":"Acta Inform."},{"key":"10.1016\/0167-6423(93)90010-M_BIB12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1007\/BFb0013030","article-title":"Partial orderings descriptions and observations of nondeterministic concurrent processes","volume":"354","author":"Degano","year":"1989"},{"key":"10.1016\/0167-6423(93)90010-M_BIB13","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(90)90095-Y","article-title":"A partial ordering semantics for CCS","volume":"75","author":"Degano","year":"1992","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0167-6423(93)90010-M_BIB14","series-title":"Proceedings Fourth Annual Symposium on Logic in Computer Science","first-page":"175","article-title":"Axiomatizing net computations and processes","author":"Degano","year":"1989"},{"key":"10.1016\/0167-6423(93)90010-M_BIB15","article-title":"Fundamentals of algebraic specifications I","volume":"6","author":"Ehrig","year":"1985"},{"issue":"10","key":"10.1016\/0167-6423(93)90010-M_BIB16","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1145\/97946.97979","article-title":"The performance of an object-oriented threads package","volume":"25","author":"Faust","year":"1990","journal-title":"ACM SIGPLAN Notices, Proceedings OOPSLA 90"},{"key":"10.1016\/0167-6423(93)90010-M_BIB17","series-title":"Report TD-4\/90","article-title":"Unifying models of concurrency, Ph.D. Thesis","author":"Ferrari","year":"1990"},{"issue":"4","key":"10.1016\/0167-6423(93)90010-M_BIB18","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0096-0551(89)90023-4","article-title":"Symbolic execution of concurrent systems using Petri nets","volume":"14","author":"Ghezzi","year":"1989","journal-title":"Comput. Language"},{"key":"10.1016\/0167-6423(93)90010-M_BIB19","series-title":"Arbeitspapiere der GMD 290","article-title":"On representing CCS programs by finite Petri nets","author":"Goltz","year":"1988"},{"key":"10.1016\/0167-6423(93)90010-M_BIB20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-13345-3_18","article-title":"On the relationship of CCS and Petri nets","volume":"172","author":"Goltz","year":"1984"},{"key":"10.1016\/0167-6423(93)90010-M_BIB21","first-page":"125","article-title":"The non-sequential behaviour of Petri nets","volume":"57","author":"Goltz","year":"1983","journal-title":"Inform. Comput."},{"key":"10.1016\/0167-6423(93)90010-M_BIB22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/BFb0039047","article-title":"A simple calculus of nets","volume":"458","author":"Gorrieri","year":"1990"},{"key":"10.1016\/0167-6423(93)90010-M_BIB23","doi-asserted-by":"crossref","unstructured":"R. Gorrieri and U. Montanari, Distributed implementation of CCS, in: G. Rozenberg, ed., Advances in Petri nets, Lecture Notes in Computer Science (Springer, Berlin, to appear).","DOI":"10.1007\/3-540-56689-9_46"},{"key":"10.1016\/0167-6423(93)90010-M_BIB24","series-title":"Lecture Notes in Computer Science","volume":"469","year":"1990"},{"key":"10.1016\/0167-6423(93)90010-M_BIB25","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/0167-6423(93)90010-M_BIB26","article-title":"Information processing systems\u2014open systems interconnection\u2014LOTOS\u2014a formal description technique based on the temporal ordering of observational behaviour","year":"1987","journal-title":"ISO\/TC97\/SC21\/N DIS8807"},{"key":"10.1016\/0167-6423(93)90010-M_BIB27","series-title":"Research Report 57","article-title":"A temporal logic of actions","author":"Lamport","year":"1990"},{"key":"10.1016\/0167-6423(93)90010-M_BIB28","article-title":"A compositional semantics for timed Petri nets","volume":"XIII","author":"Maggiolo-Schettini","year":"1990","journal-title":"Fund. Inform."},{"key":"10.1016\/0167-6423(93)90010-M_BIB29","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0304-3975(90)90118-2","article-title":"Equational type logic","volume":"77","author":"Manca","year":"1990","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0167-6423(93)90010-M_BIB30","first-page":"85","article-title":"A process specification formalism","volume":"XIII","author":"Mauw","year":"1990","journal-title":"Fund. Inform."},{"key":"10.1016\/0167-6423(93)90010-M_BIB31","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1109\/LICS.1988.5114","article-title":"Petri nets are monoids: a new algebraic foundation for net theory","author":"Meseguer","year":"1988","journal-title":"Third Annual Symposium on Logic in Computer Science"},{"key":"10.1016\/0167-6423(93)90010-M_BIB32","article-title":"A Calculus of Communicating Systems","volume":"92","author":"Milner","year":"1980"},{"key":"10.1016\/0167-6423(93)90010-M_BIB33","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/0167-6423(93)90010-M_BIB34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BFb0018342","article-title":"An algebraic view of interleaving and distributed operational semantics for CCS","volume":"389","author":"Montanari","year":"1991"},{"key":"10.1016\/0167-6423(93)90010-M_BIB35","series-title":"Germany Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/3-540-17906-2_32","article-title":"CCS\u2014and its relationship to net theory","volume":"255","author":"Nielsen","year":"1987"},{"key":"10.1016\/0167-6423(93)90010-M_BIB36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-18086-9_27","article-title":"Operational Petri net semantics for CCSP","volume":"266","author":"Olderog","year":"1987"},{"key":"10.1016\/0167-6423(93)90010-M_BIB37","series-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/0167-6423(93)90010-M_BIB38","series-title":"Petri nets and their composition problems, Ph.D. Thesis","author":"Pinna","year":"1990"},{"key":"10.1016\/0167-6423(93)90010-M_BIB39","series-title":"Report DAIMI FN-19","article-title":"A structural approach to operational semantics","author":"Plotkin","year":"1981"},{"key":"10.1016\/0167-6423(93)90010-M_BIB40","article-title":"Petri Nets: An Introduction","volume":"4","author":"Reisig","year":"1985"},{"issue":"1","key":"10.1016\/0167-6423(93)90010-M_BIB41","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","article-title":"Petri nets and algebraic specifications","volume":"80","author":"Reisig","year":"1991","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0167-6423(93)90010-M_BIB42","article-title":"Finite Representation of CCS and TCSP Programs by Automata and Petri Nets","volume":"369","author":"Taubner","year":"1989"},{"key":"10.1016\/0167-6423(93)90010-M_BIB43","first-page":"561","article-title":"Event structure semantics for CCS and related languages","volume":"140","author":"Winskel","year":"1982"},{"key":"10.1016\/0167-6423(93)90010-M_BIB44","series-title":"Parametric views of process description languages, Ph.D. Thesis","author":"Yankelevich","year":"1992"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764239390010M?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016764239390010M?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T13:55:28Z","timestamp":1555077328000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016764239390010M"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,12]]},"references-count":44,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993,12]]}},"alternative-id":["016764239390010M"],"URL":"https:\/\/doi.org\/10.1016\/0167-6423(93)90010-m","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[1993,12]]}}}