{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:18Z","timestamp":1725664158087},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606888"},{"type":"electronic","value":"9783540492627"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60688-2_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:52:06Z","timestamp":1330289526000},"page":"141-155","source":"Crossref","is-referenced-by-count":1,"title":["Complexity as a basis for comparing semantic models of concurrency"],"prefix":"10.1007","author":[{"given":"Alan","family":"Mycroft","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"12_CR1","unstructured":"M.A. Bednarczyk. Categories of Asynchronous Transition Systems. PhD thesis, University of Sussex, 1988."},{"issue":"1","key":"12_CR2","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E. Best","year":"1987","unstructured":"E. Best and R. Devillers. Sequential and concurrent behaviour in Petri net theory. Theoretical Computer Science, 55(1):87\u2013136, 1987.","journal-title":"Theoretical Computer Science"},{"key":"12_CR3","unstructured":"G. Boudol. Flow event structures and flow nets. s\u00e9mantique du parallelisme, i. guessarian (ed.), lncs 469, 1990. In I. Guessarian, editor, Semantics of systems of concurrent processes, Proc. 18\u00e8me \u00e9cole de printemps d' informatique th\u00e9orique, LNCS 469. Springer Verlag, 1990."},{"issue":"4","key":"12_CR4","doi-asserted-by":"crossref","first-page":"433","DOI":"10.3233\/FI-1988-11406","volume":"XI","author":"G. Boudol","year":"1988","unstructured":"G. Boudol and I. Castellani. A non-interleaving semantics for CCS based on proved transitions. Foundamenta Informaticae, XI(4):433\u2013452, 1988.","journal-title":"Foundamenta Informaticae"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. Theoretical Computer Science, 114, 1993.","DOI":"10.1016\/0304-3975(93)90152-J"},{"key":"12_CR6","unstructured":"H. Christiansen and N.D. Jones. Control-flow treatment in a simple semantics-directed compiler generator. In D. Bj\u00f6rner, editor, IFIP WG 2.2:Formal description of programming concepts II. North-Holland, 1983."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"M. Clegg and A. Valmari. Reduced labelled transition systems save verification effort. In Proceedings of CONCUR'91, LNCS 527. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54430-5_111"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, pages 511\u2013547, 1992.","DOI":"10.1093\/logcom\/2.4.511"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Ph. Darondeau and P. Degano. Causal trees. In Proceedings of ICALP'89, LNCS 372, pages 234\u2013248. Springer-Verlag, 1989.","DOI":"10.1007\/BFb0035764"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"P. Degano and C. Priami. Proved trees. In Proceedings of ICALP'92, LNCS 623, pages 629\u2013640. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_110"},{"key":"12_CR11","unstructured":"P. Degano and C. Priami. A compact representation of finite-state processes. Technical Report LOMAPSDIPISA2, LOMAPS Project, 1993. Submitted for publication."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"G. Ferrari, R. Gorrireri, and U. Montanari. An extended expansion theorem. In Proceedings of TAPSOFT'91, LNCS 431, pages 162\u2013176. Springer-Verlag, 1991.","DOI":"10.1007\/3540539816_56"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"P. Godefroid and P. Wolper. Using partial orders for the efficient verification of deadlock freedom and safety properties. In Proceedings of CAV'91, LNCS 575, pages 332\u2013342. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-55179-4_32"},{"key":"12_CR14","first-page":"125","volume":"57","author":"U. Goltz","year":"1983","unstructured":"U. Goltz and W. Reisig. The non-sequential behaviour of petri nets. Information and Computation, 57:125\u2013147, 1983.","journal-title":"Information and Computation"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"I. Guessarian. Algebraic semantics. In LNCS 99. Springer Verlag, 1981.","DOI":"10.1007\/3-540-10284-1"},{"key":"12_CR16","unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988."},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"R.M. Keller. Formal verification of parallel programs. Communications of the ACM, 19:371\u2013384, 1976.","journal-title":"Communications of the ACM"},{"key":"12_CR18","unstructured":"R. Langerak. Transformations and semantics for LOTOS. PhD thesis, Twente University, 1992."},{"key":"12_CR19","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International, London, 1989."},{"issue":"1","key":"12_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes (I and II). Information and Computation, 100(1):1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, event structures and domains. Theoretical Computer Science, pages 85\u2013108, 1981.","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"W. Reisig. Petri nets: An introduction. In EATCS Monographs. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"A. Stark. Concurrent transition systems. Theoretical Computer Science, pages 221\u2013269, 1989.","DOI":"10.1016\/0304-3975(89)90050-9"},{"key":"12_CR24","unstructured":"B. Thomsen. Calculi for Higher Order Communicating Systems. PhD thesis, Imperial College \u2014 University of London, 1990."},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"G. Winskel. Event structures for CCS and related languages. In Proceedings of ICALP'82, LNCS 140, pages 561\u2013576. Springer-Verlag, 1982.","DOI":"10.1007\/BFb0012800"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"G. Winskel and M. Nielsen. Models for concurrency. Technical Report DAIMI-PB-429, Computer Science Dept., Aarhus University, 1992. To appear in Handbook of Logic in Computer Science.","DOI":"10.7146\/dpb.v21i429.6743"}],"container-title":["Lecture Notes in Computer Science","Algorithms, Concurrency and Knowledge"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60688-2_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:02:23Z","timestamp":1640944943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60688-2_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606888","9783540492627"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-60688-2_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}