{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:13:28Z","timestamp":1725491608035},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752905"},{"type":"electronic","value":"9783540752929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75292-9_7","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T10:43:07Z","timestamp":1189507387000},"page":"94-108","source":"Crossref","is-referenced-by-count":2,"title":["Bisimulations for a Distributed Higher Order \u03c0-Calculus"],"prefix":"10.1007","author":[{"given":"Zining","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BF01221099","volume":"6","author":"L. Aceto","year":"1994","unstructured":"Aceto, L.: A static view of localities. Formal Aspects of Computing\u00a06(2), 201\u2013222 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BF01221098","volume":"6","author":"G. Boudol","year":"1994","unstructured":"Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A theory of processes with localities. Formal Aspects of Computing\u00a06, 165\u2013200 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0304-3975(93)90152-J","volume":"114","author":"G. Boudol","year":"1993","unstructured":"Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: Observing localities. Theoretical Computer Science\u00a0114, 31\u201361 (1993)","journal-title":"Theoretical Computer Science"},{"key":"7_CR4","volume-title":"Handbook of Process Algebra, ch. 15","author":"I. Castellani","year":"2001","unstructured":"Castellani, I.: Process Algebras with Localities. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, ch. 15, North-Holland, Amsterdam (2001)"},{"issue":"4","key":"7_CR5","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1142\/S0129054195000196","volume":"6","author":"I. Castellani","year":"1995","unstructured":"Castellani, I.: Observing distribution in processes: static and dynamic localities. Int. Journal of Foundations of Computer Science\u00a06(4), 353\u2013393 (1995)","journal-title":"Int. Journal of Foundations of Computer Science"},{"issue":"4","key":"7_CR6","doi-asserted-by":"publisher","first-page":"887","DOI":"10.1145\/76359.76369","volume":"36","author":"I. Castellani","year":"1989","unstructured":"Castellani, I., Hennessy, M.: Distributed Bisimulations. Journal of the ACM\u00a036(4), 887\u2013911 (1989)","journal-title":"Journal of the ACM"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s002360050086","volume":"34","author":"F. Corradini","year":"1997","unstructured":"Corradini, F., De Nicola, R.: Locality based semantics for process algebras. Acta Informatica\u00a034, 291\u2013324 (1997)","journal-title":"Acta Informatica"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45694-5_19","volume-title":"CONCUR 2002 - Concurrency Theory","author":"J.C. Godskesen","year":"2002","unstructured":"Godskesen, J.C., Hildebrandt, T., Sassone, V.: A Calculus of Mobile Resources. In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 272\u2013287. Springer, Heidelberg (2002)"},{"key":"7_CR9","unstructured":"Hildebrandt, T., Godskesen, J.C., Bundgaard, M.: Bisimulation Congruences for Homer - a Calculus of Higher Order Mobile Embedded Resources. Technical Report TR-2004-52, IT University of Copenhagen (2004)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/978-3-540-24727-2_18","volume-title":"Foundations of Software Science and Computation Structures","author":"M. Hennessy","year":"2004","unstructured":"Hennessy, M., Rathke, J., Yoshida, N.: SafeDpi: a language for controlling mobile code. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 241\u2013256. Springer, Heidelberg (2004)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Riely, J., Hennessy, M.: A typed language for distributed mobile processes. In: Proceedings of POPL 1998 (1998)","DOI":"10.1145\/268946.268978"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: Bisimulation in higher-order calculi. Information and Computation\u00a0131(2) (1996)","DOI":"10.1006\/inco.1996.0096"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Theoretical Aspects of Computer Software","author":"D. Sangiorgi","year":"1994","unstructured":"Sangiorgi, D.: Locality and interleaving semantics in calculi for mobile processes. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol.\u00a0789, Springer, Heidelberg (1994)"},{"key":"7_CR14","unstructured":"Sangiorgi, D.: Expressing mobility in process algebras: first-order and higher-order paradigms, Ph.D thesis, University of Einburgh (1992)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Global Computing","author":"A. Schmitt","year":"2005","unstructured":"Schmitt, A., Stefani, J.: The Kell calculus: A family of higher order distributed process calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol.\u00a03267, Springer, Heidelberg (2005)"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/640128.604136","volume":"38","author":"A. Schmitt","year":"2003","unstructured":"Schmitt, A., Stefani, J.: The M-calculus: a higher-order distributed process calculus. ACM SIGPLAN Notices\u00a038(1), 50\u201361 (2003)","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Vitek, J., Castagna, G.: Seal: A framework for secure mobile computations. In: Tsichritzis, D. (ed.) Workshop on Internet Programming Languages (1999)","DOI":"10.1007\/3-540-47959-7_3"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48320-9_38","volume-title":"CONCUR\u201999. Concurrency Theory","author":"N. Yoshida","year":"1999","unstructured":"Yoshida, N., Hennessy, M.: Subtyping and locality in distributed higher order processes. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol.\u00a01664, Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75292-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:59:03Z","timestamp":1619521143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75292-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752905","9783540752929"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75292-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}