{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300304,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600848"},{"type":"electronic","value":"9783540494256"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60084-1_113","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:39:37Z","timestamp":1330277977000},"page":"660-671","source":"Crossref","is-referenced-by-count":19,"title":["Causality for mobile processes"],"prefix":"10.1007","author":[{"given":"Pierpaolo","family":"Degano","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,7]]},"reference":[{"key":"56_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":"56_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. Foundamenta Informaticae, XI(4):433\u2013452, 1988.","journal-title":"Foundamenta Informaticae"},{"key":"56_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":"56_CR4","doi-asserted-by":"crossref","unstructured":"J. Camilleri. An operational semantics for occam. IJPP, 18, 1989.","DOI":"10.1007\/BF01379186"},{"key":"56_CR5","doi-asserted-by":"crossref","unstructured":"R. Cleaveland and M. Hennessy. Priorities in process algebras. In Proceedings of LICS'89, pages 193\u2013202, 1989.","DOI":"10.1109\/LICS.1988.5118"},{"key":"56_CR6","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":"56_CR7","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":"56_CR8","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(90)90095-Y","volume":"75","author":"P. Degano","year":"1990","unstructured":"P. Degano, R. De Nicola, and U. Montanari. A partial ordering semantics for CCS. Theoretical Computer Science, 75:223\u2013262, 1990.","journal-title":"Theoretical Computer Science"},{"key":"56_CR9","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":"56_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":"56_CR11","unstructured":"A. Giacalone, P. Mishra, and S. Prasad. Operational and algebraic semantics for Facile: A symmetric integration of concurrent and functional programming. In Proceedings ICALP'90, LNCS 443, pages 765\u2013780. Springer-Verlag, 1990."},{"key":"56_CR12","unstructured":"A. Kiehn. Local and global causes. Technical report, TUM 342\/23\/91, 1991."},{"key":"56_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, London, 1989."},{"key":"56_CR14","unstructured":"R. Milner. Action structures. TR ECS-LFCS-92-249, University of Edinburgh, 1992."},{"key":"56_CR15","unstructured":"R. Milner, D. Berry, and D. Turner. A semantics for ML concurrency primitives. In Proceedings of POPL '92, 1992."},{"key":"56_CR16","doi-asserted-by":"crossref","unstructured":"R. Milner, J. Parrow, and D. Walker. Modal logics for mobile processes. Technical Report ECS-LFCS-91-136, University of Edinburgh, 1991.","DOI":"10.1007\/3-540-54430-5_80"},{"issue":"1","key":"56_CR17","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":"56_CR18","doi-asserted-by":"crossref","unstructured":"U. Montanari and M. Pistore. Concurrent semantics for the \u03c0-calculus. In Proceedings of MFPS'95, LNCS. Springer-Verlag, 1995.","DOI":"10.1016\/S1571-0661(04)00024-6"},{"key":"56_CR19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt. Modelling concurrency with partial orders. International Journal of Parallel Programming, 15:33\u201371, 1986.","journal-title":"International Journal of Parallel Programming"},{"key":"56_CR20","doi-asserted-by":"crossref","unstructured":"C. Priami and D. Yankelevich. Read-write causality. In Proceedings of MFCS'94, LNCS 841, pages 567\u2013576. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58338-6_103"},{"key":"56_CR21","unstructured":"D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, University of Edinburgh, 1992."},{"key":"56_CR22","unstructured":"D. Sangiorgi. Locality and non-iterleaving semantics in calculi for mobile processes. In Proceedings of TACS'94, LNCS 789. Springer-Verlag, 1994."},{"key":"56_CR23","unstructured":"B. Thomsen. Calculi for Higher Order Communicating Systems. PhD thesis, Imperial College-University of London, 1990."},{"key":"56_CR24","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0890-5401(87)90032-0","volume":"72","author":"G. Winskel","year":"1987","unstructured":"G. Winskel. Petri nets, algebras, morphisms and compositionality. Information and Computation, 72:197\u2013238, 1987.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60084-1_113.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:52:07Z","timestamp":1742597527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60084-1_113"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600848","9783540494256"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-60084-1_113","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}