{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:18Z","timestamp":1761611298848},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590422"},{"type":"electronic","value":"9783540491750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59042-0_77","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:58:57Z","timestamp":1330275537000},"page":"243-254","source":"Crossref","is-referenced-by-count":18,"title":["A fully abstract semantics for causality in the \u03c0-calculus"],"prefix":"10.1007","author":[{"given":"Michele","family":"Boreale","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Sangiorgi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"21_CR1","unstructured":"G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. To appear in Formal Aspects of Computing."},{"key":"21_CR2","unstructured":"M. Boreale and D. Sangiorgi. Pull version of this paper. Technical Report, ECS-LFCS-94-297, University of Edinburgh, 1994."},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"P. Degano and P. Darondeau. Causal trees. In 15th ICALP, LNCS 372, pages 234\u2013248. Springer Verlag, 1989.","DOI":"10.1007\/BFb0035764"},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"P. Degano, R. De Nicola and U. Montanari. Partial Ordering Descriptions and Observations of Concurrent Processes. LNCS 354, Springer-Verlag, 1988.","DOI":"10.1007\/BFb0013030"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek and U. Goltz. Equivalence notions for concurrent systems and refinement of actions. In Proc. MFCS'89, LNCS 379. Springer Verlag, 1989.","DOI":"10.1007\/3-540-51486-4_71"},{"key":"21_CR6","unstructured":"A. Kiehn. Local and global causes. Technical Report Report 342\/23\/91, Technische Universit\u00e4t M\u00fcnchen, 1991."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"A. Kiehn. Proof systems for cause based equivalences. In Proc. MFCS 93, LNCS 711. Springer Verlag, 1993.","DOI":"10.1007\/3-540-57182-5_46"},{"key":"21_CR8","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. In Logic and Algebra of Specification, Springer Verlag, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"21_CR10","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, (Parts I and II). Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"issue":"4","key":"21_CR11","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1988-11404","volume":"XI","author":"A. Rabinovich","year":"1988","unstructured":"A. Rabinovich and B.A. Trakhetenbrot. Behaviour structures and nets. Fundamenta Informaticae, XI(4):357\u2013404, 1988.","journal-title":"Fundamenta Informaticae"},{"key":"21_CR12","unstructured":"D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis CST-99-93, Department of Computer Science, University of Edinburgh, 1992."},{"key":"21_CR13","unstructured":"D. Sangiorgi. Locality and non-interleaving semantics in calculi for mobile processes. In Proc. TACS '94, LNCS 789, Springer Verlag."},{"key":"21_CR14","unstructured":"D. Walker. Objects in the \u03c0-calculus. Information and Computation, 1994. To appear."}],"container-title":["Lecture Notes in Computer Science","STACS 95"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59042-0_77.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T08:54:52Z","timestamp":1640940892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59042-0_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590422","9783540491750"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-59042-0_77","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}