{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:55Z","timestamp":1751983675981},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_54","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:02:50Z","timestamp":1330275770000},"page":"163-178","source":"Crossref","is-referenced-by-count":9,"title":["On the expressiveness of internal mobility in name-passing calculi"],"prefix":"10.1007","author":[{"given":"Michele","family":"Boreale","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1007\/BF01191894","volume":"29","author":"Arun-Kumar","year":"1992","unstructured":"Arun-Kumar and M. Hennessy. An efficiency preorder for processes. Acta Informatica, 29:737\u2013760, 1992.","journal-title":"Acta Informatica"},{"key":"11_CR2","volume-title":"Technical report","author":"R. Amadio","year":"1996","unstructured":"R. Amadio. A note on objects and localities. Technical report, INRIA-Sophia Antipolis, 1996."},{"key":"11_CR3","volume-title":"Technical Report RR-1702","author":"G. Boudol","year":"1992","unstructured":"G. Boudol. Asynchrony and the \u03c0-calculus (note). Technical Report RR-1702, INRIA-Sophia Antipolis, 1992."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"M. Boreale and D. Sangiorgi. A fully abstract semantics for causality in the \u03c0-calculus. Technical Report ECS-LFCS-94-297, Dept. of Comp. Sci., Edinburgh University, 1994. An extract appeared in Proc. of STACS'95, LNCS 900, Springer Verlag.","DOI":"10.1007\/3-540-59042-0_77"},{"key":"11_CR5","volume-title":"Technical Report RR-2870","author":"M. Boreale","year":"1996","unstructured":"M. Boreale and D. Sangiorgi. Some congruence properties for \u03c0-calculus bisimilarities. Technical Report RR-2870, INRIA-Sophia Antipolis, 1996."},{"issue":"34","key":"11_CR6","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/1385-7258(72)90034-0","volume":"5","author":"N. G. Bruijn de","year":"1972","unstructured":"N. G. de Bruijn. Lambda-calculus notation with nameless dummies: a tool for automatic formula manipulation with application to the Church-Rosser theorem. Indag. Math., 5(34):381\u2013392, 1972.","journal-title":"Indag. Math."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive CHAM and the join-calculus. 1996. To appear in the Proc. of POPL'96.","DOI":"10.1145\/237721.237805"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"G. Ferrari, U. Montanari, and P. Quaglia. \u03c0-calculus with explicit substitutions. Technical report, Universit\u00e0 di Pisa, 1994. Extended abstract appeared in Proc. of MFCS'94.","DOI":"10.1007\/3-540-58338-6_81"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"M. Hansen, J. Kleist, and H. H\u00fcttel. Bisimulations for asynchronous mobile processes. In Proceedings of the Tbilisi Symposium on Language, Logic, and Computation, 1995. Research paper HCRC\/RP-72, Human Communication Research Centre, University of Edinburgh.","DOI":"10.7146\/brics.v3i8.19971"},{"key":"11_CR10","unstructured":"K. Honda. Two bisimilarities for the \u039d-calculus. Technical Report 92-002, Departement of Computer Science, Keio University, 1992."},{"key":"11_CR11","unstructured":"R. Milner. The polyadic \u03c0-calculus: A tutorial. Technical Report ECS-LFCS-91-180, LFCS, Dept. of Computer Science, Edinburgh Univ., 1991."},{"issue":"2","key":"11_CR12","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"R. Milner. Functions as processes. Mathematical Structure in Computer Science, 2(2):119\u2013141, 1992.","journal-title":"Mathematical Structure in Computer Science"},{"key":"11_CR13","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, part I and II. Information and Computation, 100:1\u201341 and 42\u201378, 1992.","journal-title":"Information and Computation"},{"issue":"2","key":"11_CR14","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1006\/inco.1995.1108","volume":"120","author":"J. Parrow","year":"1995","unstructured":"J. Parrow and D. Sangiorgi. Algebraic theories for name-passing calculi. Information and Computation, 120(2):174\u2013197, 1995.","journal-title":"Information and Computation"},{"key":"11_CR15","unstructured":"D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, Department of Computer Science, University of Edinburgh, 1992."},{"key":"11_CR16","volume-title":"Proceedings of CONCUR '93, LNCS 715","author":"D. Sangiorgi","year":"1993","unstructured":"D. Sangiorgi. A theory of bisimulation for the \u03c0-calculus. In E. Best, editor, Proceedings of CONCUR '93, LNCS 715. Springer-Verlag, Berlin, 1993. To appear in Acta Informatica."},{"key":"11_CR17","unstructured":"D. Sangiorgi. Locality and non-interleaving semantics in calculi for mobile processes. Technical Report ECS-LFCS-94-282, LFCS, Dept. of Computer Science, Edinburgh University, 1994. An extract appeared in Proc. TACS '94, LNCS, Springer-Verlag."},{"key":"11_CR18","unstructured":"D. Sangiorgi. Lazy functions and mobile processes. Technical Report RR-2515, INRIA, 1995."},{"key":"11_CR19","unstructured":"D. Sangiorgi. \u03c0-calculus, internal mobility, and agent-passing calculi. Technical Report RR-2539, INRIA, 1995. Extended Abstract in Proc. of TAPSOFT'95."},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi and R. Milner. The problem of \u201cWeak Bisimulation up-to\u201d. In W.R. Cleveland, editor, Proceedings of CONCUR '92, volume 630, pages 32\u201346. Springer Verlag, 1992.","DOI":"10.1007\/BFb0084781"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:50:09Z","timestamp":1640929809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}