{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T06:53:18Z","timestamp":1773557598734,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540633839","type":"print"},{"value":"9783540695271","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_92","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T10:27:52Z","timestamp":1153132072000},"page":"374-391","source":"Crossref","is-referenced-by-count":46,"title":["An asynchronous model of locality, failure, and process mobility"],"prefix":"10.1007","author":[{"given":"Roberto M.","family":"Amadio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"24_CR1","unstructured":"R. Amadio. An asynchronous model of locality, failure, and process mobility. RR-INRIA 3109. Available at http:\/\/protis.univ-mrs.fr\/~amadio\/."},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"R. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous \u03c0-calculus. In CONCUR 96, SLNCS. 1119, 1996.","DOI":"10.1007\/3-540-61604-7_53"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"R. Amadio, L. Leth, and B. Thomsen. From a concurrent \u03bb-calculus to the \u03c0-calculus. In Proc. Foundations of Computation Theory 95, SLNCS 965, 1995.","DOI":"10.1007\/3-540-60249-6_43"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"R. Amadio and S. Prasad. Localities and Failures (Extended Summary). In Proc. of FST-TCS94 SLNCS 880, 1994.","DOI":"10.1007\/3-540-58715-2_126"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"M. Boreale. On the expressiveness of internal mobility in name passing calculi. In CONCUR 96, SNLCS 1119, 1996.","DOI":"10.1007\/3-540-61604-7_54"},{"key":"24_CR6","unstructured":"G. Boudol. Asynchrony and the \u03c0-calculus. RR-INRIA 1702, 1992."},{"key":"24_CR7","unstructured":"G. Boudol. Some chemical abstract machines. In Proc. of REX School, SLNCS 803, 1993."},{"issue":"2","key":"24_CR8","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/226643.226647","volume":"43","author":"T. Chandra","year":"1996","unstructured":"T. Chandra and S. Toueg. Unreliable failure detectors for reliable distributed systems. Journal of ACM, 43(2):225\u2013267, 1996.","journal-title":"Journal of ACM"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive CRAM and the join-calculus. Proc. POPL, 1996.","DOI":"10.1145\/237721.237805"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"C. Fournet, G. Gonthier, J.-J. Levy, L. Maranget, and D. R\u00e9my. A calculus of mobile agents. In CONCUR 96, SLNCS 1119, 1996.","DOI":"10.1007\/3-540-61604-7_67"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"K. Honda and M. Tokoro. An object calculus for asynchronous communication. Proc. ECOOP 91, Geneve, 1991.","DOI":"10.1007\/BFb0057019"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"N. Kobayashi, B. Pierce, and D. Turner. Linearity in the \u03c0-calculus. Proc. POPL, 1996.","DOI":"10.1145\/237721.237804"},{"issue":"1","key":"24_CR13","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 Process, Parts 1\u20132. Information and Computation, 100(1):1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. In Proc. LICS, 1993.","DOI":"10.1109\/LICS.1993.287570"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. \u03c0-calculus, internal mobility and agent-passing calculi. In Proc Tapsoft 95, SLNCS 915, 1995.","DOI":"10.1007\/3-540-60084-1_114"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_92","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T22:04:39Z","timestamp":1555711479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_92"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_92","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997]]}}}