{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:19Z","timestamp":1761611299942},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540587156"},{"type":"electronic","value":"9783540490548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58715-2_126","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:41:18Z","timestamp":1330256478000},"page":"205-216","source":"Crossref","is-referenced-by-count":21,"title":["Localities and failures (extended summary)"],"prefix":"10.1007","author":[{"given":"Roberto M.","family":"Amadio","sequence":"first","affiliation":[]},{"given":"Sanjiva","family":"Prasad","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"2","key":"18_CR1","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/BF01221099","volume":"6","author":"L. Aceto","year":"1994","unstructured":"L., Aceto. A static view of localities. Formal Aspects of Computing, 6(2): 201\u2013222, 1994.","journal-title":"Formal Aspects of Computing"},{"key":"18_CR2","unstructured":"R. Amadio. Translating Core Facile. Technical Report ECRC-94-3, ECRC, Munich, 1994."},{"key":"18_CR3","unstructured":"R.M. Amadio and S. Prasad. Localities and Failures. Technical report ECRC-94-18, ECRC, 1994."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"G. Boudol, I. Castellani, M. Hennessy, and A. Kiehn. Observing Localities. In SLNCS 520: Proceedings of MFCS 91. Springer-Verlag, 1991. Also appeared as TR 4-91, Univ. of Sussex, to appear in TCS.","DOI":"10.1007\/3-540-54345-7_52"},{"issue":"2","key":"18_CR5","doi-asserted-by":"crossref","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(2): 165\u2013200, 1994. Preliminary version in SLNCS 630: Proceedings of CONCUR 92.","journal-title":"Formal Aspects of Computing"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"I. Castellani. Observing distribution in processes. In SLNCS 711: Proceedings of MFCS 93. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57182-5_24"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"F. Corradini and R. De Nicola. Distribution and locality of concurrent systems. In Proceedings of CALP'94, SLNCS. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58201-0_65"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"P. Degano and C. Priami. Proved trees. In Proceedings of ICALP'92, SLNCS 623, pages 629\u2013640. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_110"},{"issue":"2","key":"18_CR9","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF01491213","volume":"18","author":"A. Giacalone","year":"1989","unstructured":"A. Giacalone, P. Mishra, and S. Prasad. Facile: 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":"18_CR10","doi-asserted-by":"crossref","unstructured":"C. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"18_CR11","unstructured":"A. Kiehn. Local and global causes. Technical report, Technische Universit\u00e4t M\u00fcnchen, TR 342\/23\/91,1991."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"L. Lamport and N. Lynch. Distributed computing: models and methods. In van Leeuwen, editor, Handbook of TCS. North-Holland, 1990. Chapter 18.","DOI":"10.1016\/B978-0-444-88074-1.50023-8"},{"key":"18_CR13","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"issue":"1","key":"18_CR14","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 Process, Parts 1\u20132. Information and Computation, 100(1): 1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"R. Milner and D. Sangiorgi. Barbed bisimulation. In SLNCS 623: Proceedings of ICALP 92. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_114"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"U, Montanari and D. Yankelevich. A parametric view of localities. In SLNCS 623: Proceedings of ICALP 92. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_109"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"M. Mukund and M. Nielsen. CCS, locations and asynchronous transition systems. In SLNCS 652: Proceedings of FST-TCS 92. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56287-7_116"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"D. Murphy. Observing located concurrency. In SLNCS 711: Proceedings of MFCS 93. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57182-5_48"},{"key":"18_CR19","unstructured":"D. Sangiorgi. Locality and non-interleaving semantics in calculi for mobile processes. In SLNCS 789: Proceedings of TACS 94. Springer-Verlag, 1994."},{"key":"18_CR20","unstructured":"B. Thomsen, L. Leth, and A. Giacalone. Some issues in the semantics of facile distributed programming. In SLNCS 666: Proceedings of REX School. Springer-Verlag, 1992. Also appeared as Technical Report ECRC-92-32."},{"key":"18_CR21","unstructured":"B. Thomsen, L. Leth, S. Prasad, T.M. Kuo, A. Kramer, F. Knabe, and A. Giacalone. Facile antigua release programming guide. Technical Report ECRC-93-20, ECRC, Munich, December 1993."}],"container-title":["Lecture Notes in Computer Science","Foundation of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58715-2_126.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:23:43Z","timestamp":1605630223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58715-2_126"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540587156","9783540490548"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-58715-2_126","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}