{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T01:40:19Z","timestamp":1737078019569,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650140"},{"type":"electronic","value":"9783540497271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49727-7_10","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T03:02:49Z","timestamp":1181185369000},"page":"168-183","source":"Crossref","is-referenced-by-count":0,"title":["Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Chiara","family":"Bodei","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":[[2002,9,24]]},"reference":[{"unstructured":"L. Aceto. A static view of localities. Formal Aspects of Computing, 1992.","key":"10_CR1"},{"doi-asserted-by":"crossref","unstructured":"R.M. Amadio and S. Prasad. Localities and failures. In Proceedings of FST-TCS\u201994, pages 205\u2013216. Springer-Verlag, 1994.","key":"10_CR2","DOI":"10.1007\/3-540-58715-2_126"},{"unstructured":"M. Bernardo, L. Donatiello, and R. Gorrieri. Integrating performance and functional analysis of concurrent systems with EMPA. Technical Report UBLCS-95-14, University of Bologna, Laboratory for Computer Science, 1995.","key":"10_CR3"},{"key":"10_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1007\/3-540-61440-0_153","volume-title":"Proceedings of ICALP\u201996","author":"C. Bodei","year":"1996","unstructured":"C. Bodei, P. Degano, and C. Priami. Mobile processes with a distributed environment. In Proceedings of ICALP\u201996, LNCS 1099, pages 490\u2013501. Springer-Verlag, 1996. To appear in TCS."},{"key":"10_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/BFb0032743","volume-title":"Proceedings of SAS\u201997","author":"C. Bodei","year":"1997","unstructured":"C. Bodei and C. Priami. True concurrency via abstract interpretation. In Proceedings of SAS\u201997, LNCS 1302, pages 202\u2013216, 1997."},{"key":"10_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of STACS\u201995","author":"M. Boreale","year":"1995","unstructured":"M. Boreale and D. Sangiorgi. A fully abstract semantics of causality in the \u03c0-calculus. In Proceedings of STACS\u201995, LNCS. Springer Verlag, 1995."},{"issue":"4","key":"10_CR7","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"},{"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.","key":"10_CR8","DOI":"10.1016\/0304-3975(93)90152-J"},{"unstructured":"P. Buchholz. On a markovian process algebra. Technical report, Informatik IV, University of Dortmund, 1994.","key":"10_CR9"},{"issue":"4","key":"10_CR10","doi-asserted-by":"publisher","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"},{"doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Inductive definitions, semantics and abstract interpretation. In Proceedings of POPL\u201992, pages 83\u201394, 1992.","key":"10_CR11","DOI":"10.1145\/143165.143184"},{"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 Procs. ICCL\u201994, IEEE, pages 95\u2013112, 1994.","key":"10_CR12","DOI":"10.1109\/ICCL.1994.288389"},{"key":"10_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-60045-0_58","volume-title":"Proceedings of CAV\u201995","author":"P. Cousot","year":"1995","unstructured":"P. Cousot and R. Cousot. Compositional and inductive semantic definitions in fixpoint equational, constraint, closure-condition, rule-based and game-theoretic form. In Proceedings of CAV\u201995, LNCS 939, pages 293\u2013308, 1995."},{"key":"10_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/BFb0035764","volume-title":"Proceedings of ICALP\u201989","author":"Ph. Darondeau","year":"1989","unstructured":"Ph. Darondeau and P. Degano. Causal trees. In Proceedings of ICALP\u201989, LNCS 372, pages 234\u2013248. Springer-Verlag, 1989."},{"key":"10_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"520","DOI":"10.1007\/BFb0028836","volume-title":"Proceedings of FCT","author":"P. Degano","year":"1985","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-asserted-by":"crossref","unstructured":"P. Degano, J.-V. Loddo, and C. Priami. Mobile processes with local clocks. In Proceedings of Workshop on Analysis and Verification of Multiple-Agent Languages, Stockholm, Sweden, 1996.","key":"10_CR16","DOI":"10.1007\/3-540-62503-8_14"},{"key":"10_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1007\/3-540-55719-9_110","volume-title":"Proceedings of ICALP\u201992","author":"P. Degano","year":"1992","unstructured":"P. Degano and C. Priami. Proved trees. In Proceedings of ICALP\u201992, LNCS 623, pages 629\u2013640. Springer-Verlag, 1992."},{"key":"10_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1007\/3-540-60084-1_113","volume-title":"Proceedings of ICALP\u201995","author":"P. Degano","year":"1995","unstructured":"P. Degano and C. Priami. Non interleaving semantics for mobile processes. Extended abstract. In Proceedings of ICALP\u201995, LNCS 944, pages 660\u2013671. Springer-Verlag, 1995. To appear in TCS."},{"doi-asserted-by":"crossref","unstructured":"R. Gorrieri, M. Roccetti, and E. Stancapiano. A theory of processes with durational actions. Theoretical Computer Science, (140), 1994.","key":"10_CR19","DOI":"10.1016\/0304-3975(94)00205-W"},{"unstructured":"N. G\u00f6tz, U. Herzog, and M. Rettelbach. TIPP-a language for timed processes and performance evaluation. Technical Report 4\/92, IMMD VII, University of Erlangen-Nurnberg, 1992.","key":"10_CR20"},{"key":"10_CR21","series-title":"Lect Notes Comput Sci","first-page":"173","volume-title":"Proceedings of ESOP96","author":"E. Goubault","year":"1995","unstructured":"E. Goubault. Durations for truly concurrent transitions. In Proceedings of ESOP96, LNCS 1058, pages 173\u2013187, 1995."},{"unstructured":"M. Hennessy and T. Regan. A temporal process algebra. Technical Report 2\/90, University of Sussex, 1990.","key":"10_CR22"},{"unstructured":"J. Hillston. The nature of synchronization. In U. Herzog and M. Rettelbach, editors, Proceedings of PAPM\u201994, University of Erlangen, 1994.","key":"10_CR23"},{"issue":"8","key":"10_CR24","doi-asserted-by":"publisher","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":"10_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-55179-4","volume-title":"Proceedings of CONCUR\u201992","author":"K.G. Larsen","year":"1992","unstructured":"K.G. Larsen and A. Skou. Compositional verification of probabilistic processes. In Proceedings of CONCUR\u201992, volume 630 of LNCS. Springer-Verlag, 1992."},{"key":"10_CR26","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, London, 1989."},{"issue":"1","key":"10_CR27","doi-asserted-by":"publisher","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"},{"doi-asserted-by":"crossref","unstructured":"U. Montanari and M. Pistore. Concurrent semantics for the \u03c0-calculus. In Electronic Notes in Computer Science, number 1. Elsevier, 1995.","key":"10_CR28","DOI":"10.1016\/S1571-0661(04)00024-6"},{"key":"10_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1007\/3-540-55719-9_109","volume-title":"Proceedings of ICALP\u201992","author":"U. Montanari","year":"1992","unstructured":"U. Montanari and D. Yankelevich. A parametric approach to localities. In Proceedings of ICALP\u201992, LNCS 623, pages 617\u2013628. Springer-Verlag, 1992."},{"key":"10_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/BFb0032006","volume-title":"Real Time: Theory in Practice","author":"X. Nicollin","year":"1991","unstructured":"X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In Real Time: Theory in Practice, LNCS 600, pages 526\u2013548. Springer-Verlag, 1991."},{"issue":"6","key":"10_CR31","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"C. Priami. Stochastic \u03c0-calculus. The Computer Journal, 38(6):578\u2013589, 1995.","journal-title":"The Computer Journal"},{"unstructured":"C. Priami. Enhanced Operational Semantics for Concurrency. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa, March 1996. Available as Tech. Rep. TD-08\/96.","key":"10_CR32"},{"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":"10_CR33"},{"doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek, S.A. Smolka, B. Steffen, and C.M.N. Tofts. Reactive, generative and stratified models of probabilistic processes. Information and Computation, 1995.","key":"10_CR34","DOI":"10.1006\/inco.1995.1123"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49727-7_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T01:21:27Z","timestamp":1737076887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49727-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650140","9783540497271"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-49727-7_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}