{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:13:10Z","timestamp":1736140390024,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634683"},{"type":"electronic","value":"9783540695769"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0032743","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:56:10Z","timestamp":1133420170000},"page":"202-216","source":"Crossref","is-referenced-by-count":2,"title":["True concurrency via abstract interpretation"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Bodei","sequence":"first","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,15]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"M. Boreale and D. Sangiorgi. A fully abstract semantics of causality in the \u03c0-calculus. In Proceedings of STACS'95, LNCS. Springer Verlag, 1995.","DOI":"10.1007\/3-540-59042-0_77"},{"issue":"4","key":"14_CR2","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. Fundamenta Informaticae, XI(4):433\u2013452, 1988.","journal-title":"Fundamenta Informaticae"},{"key":"14_CR3","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":"14_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot. Program analysis: the abstract interpretation perspective. ACM Computing Surveys, 28A(4), 1996.","DOI":"10.1145\/242224.242433"},{"issue":"4","key":"14_CR5","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511\u2013547, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Inductive definitions, semantics and abstract interpretation. In Proceedings of POPL'92, pages 83\u201394, 1992.","DOI":"10.1145\/143165.143184"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages). In Proceedings of ICCL'9l, IEEE, pages 95\u2013112, 1994.","DOI":"10.1109\/ICCL.1994.288389"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"R. Cridlig. Semantic analysis of concurrent ML by abstract model-checking. In B. Steffen, editor, Proceedings of the International Workshop on Verification of Infinite State Systems, Pisa, 1996.","DOI":"10.1016\/S1571-0661(05)80678-4"},{"key":"14_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":"14_CR10","doi-asserted-by":"crossref","unstructured":"P. Degano, R. De Nicola, and U. Montanari. Partial ordering derivations for CCS. In Proceedings of FCT, LNCS 199, pages 520\u2013533. Springer-Verlag, 1985.","DOI":"10.1007\/BFb0028836"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"P. Degano, R. Gorrieri, and S. Vigna. On relating some models of concurrency. In Proceedings of TAPSOFT'93, LNCS 668, pages 15\u201330. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56610-4_53"},{"key":"14_CR12","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":"14_CR13","doi-asserted-by":"crossref","unstructured":"P. Degano and C. Priami. Causality for mobile processes. In Proceedings of ICALP'95, LNCS 944, pages 660\u2013671. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60084-1_113"},{"issue":"8","key":"14_CR14","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1007\/BF01178730","volume":"31","author":"A. Kiehn","year":"1994","unstructured":"A. Kiehn. Comparing causality and locality based equivalences. Acta Informatica, 31(8):697\u2013718, 1994.","journal-title":"Acta Informatica"},{"key":"14_CR15","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, London, 1989."},{"issue":"1","key":"14_CR16","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":"14_CR17","unstructured":"C. Priami. Interleaving-based partial odering semantics. In Proceedings of Italian Conference on Theoretical Computer Science, pages 264\u2013278, Ravello, November 1995, 1996. World Scientific."},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"G. Winskel and M. Nielsen. Models for concurrency. In Handbook of Logic in Computer Science. Oxford University Press, 1995.","DOI":"10.1093\/oso\/9780198537809.003.0001"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0032743","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T01:45:43Z","timestamp":1736127943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0032743"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634683","9783540695769"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0032743","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}