{"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":1761611300310},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631651"},{"type":"electronic","value":"9783540691945"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63165-8_203","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:11:39Z","timestamp":1330279899000},"page":"471-481","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Distributed processes and location failures"],"prefix":"10.1007","author":[{"given":"James","family":"Riely","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Hennessy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"45_CR1","unstructured":"Samson Abramsky. The lazy lambda calculus. In Research Topics in Functional Programming, pages 65\u2013117. Addison-Wesley, 1990."},{"key":"45_CR2","unstructured":"Roberto Amadio and Sanjiva Prasad. Localities and failures. In FST-TCS, volume 880 of LNCS. Springer, 1994."},{"key":"45_CR3","doi-asserted-by":"crossref","unstructured":"Roberto Amadio. From a concurrent \u03bb-calculus to the \u03bc-calculus. In Foundations of Computation Theory, volume 965 of LNCS. Springer, 1995.","DOI":"10.1007\/3-540-60249-6_43"},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"Roberto Amadio. An asynchronous model of locality, failure, and process mobility. Technical report, Laboratoire d'Informatique de Marseille, 1997.","DOI":"10.1007\/3-540-63383-9_92"},{"key":"45_CR5","doi-asserted-by":"crossref","unstructured":"Roberto Amadio, Ilaria Castellani, and Davide Sangiorgi. On bisimulations for the asynchronous \u03bc-calculus. In CONCUR96, volume 1119 of LNCS, pages 147\u2013162. Springer, 1996.","DOI":"10.1007\/3-540-61604-7_53"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge University Press, 1990.","DOI":"10.1017\/CBO9780511624193"},{"key":"45_CR7","first-page":"51","volume":"108","author":"G. Boudol","year":"1994","unstructured":"G. Boudol. A lambda calculus for (strict) parallel functions. Information and Control, 108:51\u2013127, 1994.","journal-title":"Information and Control"},{"key":"45_CR8","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BF01221098","volume":"6","author":"G. Boudol","year":"1994","unstructured":"G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. A theory of processes with localities. Formal Aspects of Computing, 6:165\u2013200, 1994.","journal-title":"Formal Aspects of Computing"},{"issue":"6","key":"45_CR9","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1142\/S0129054195000196","volume":"6","author":"I. Castellani","year":"1995","unstructured":"I. Castellani. Observing distribution in processes: static and dynamic localities. International Journal of Foundations of Computer Science, 6(6):353\u2013393, 1995.","journal-title":"International Journal of Foundations of Computer Science"},{"key":"45_CR10","unstructured":"Flavio Corradini. Space, Time and Nondeterminismin Process Algebras. PhD thesis, Universit\u00e0 Degli Studi di Roma \u201cLa Sapienza\u201d, 1996."},{"key":"45_CR11","unstructured":"C. Fournet and G. Gonthier. The refliexive CHAM and the join-calculus. In POPL94. ACM Press, 1994."},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"C. Fournet, G. Gonthier, J.J. Levy, L. Marganget, and D. Remy. A calculus of mobile agents. In CONCUR96, volume 1119 of LNCS, pages 406\u2013421. Springer, 1996.","DOI":"10.1007\/3-540-61604-7_67"},{"issue":"2","key":"45_CR13","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF01491213","volume":"18","author":"A. Giacalone","year":"1989","unstructured":"A. Giacalone, P. Mishra, and S. Prasad. A symmetric integration of concurrent and functional programming. International journal of Parallel Programming, 18(2):121\u2013160, 1989.","journal-title":"International journal of Parallel Programming"},{"key":"45_CR14","doi-asserted-by":"crossref","unstructured":"Andrew D. Gordon. Bisimilarity as a theory of functional programming. In MFPS, volume 1 of ENTCS, http:\/\/pigeon.elsevier.nl\/mcs\/tcs\/pc\/Menu.html.Elsevier, 1995.","DOI":"10.1016\/S1571-0661(04)80013-6"},{"key":"45_CR15","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M. C. B. Hennessy","year":"1995","unstructured":"M. C. B. Hennessy and H. Lin. Symbolic bisimulations. Theoretical Computer Science, 138:353\u2013389, 1995.","journal-title":"Theoretical Computer Science"},{"key":"45_CR16","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"45_CR17","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent System: Specification. Springer, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"45_CR18","unstructured":"Robin Milner. Communication and concurrency. Prentice-Hall, 1989."},{"key":"45_CR19","doi-asserted-by":"crossref","unstructured":"Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes. Information and Computation, 100(1), September 1992.","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"45_CR20","doi-asserted-by":"crossref","unstructured":"Ugo Montanari and Daniel Yankelovich. Partial order localities. In ICALP92, volume 623 of LNCS, pages 617\u2013628. Springer, 1992.","DOI":"10.1007\/3-540-55719-9_109"},{"key":"45_CR21","doi-asserted-by":"crossref","unstructured":"James Riely and Matthew Hennessy. Distributed processes and location failures. Technical Report 2\/97, University of Sussex, Department of Computer Science, http:\/\/www.cogs.susx.ac.uk, 1997.","DOI":"10.1007\/3-540-63165-8_203"},{"key":"45_CR22","unstructured":"Davide Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, University of Edinburgh, 1992."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63165-8_203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T06:36:54Z","timestamp":1640932614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63165-8_203"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631651","9783540691945"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-63165-8_203","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}