{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:09Z","timestamp":1725512109077},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792277"},{"type":"electronic","value":"9783540792284"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79228-4_31","type":"book-chapter","created":{"date-parts":[[2008,4,29]],"date-time":"2008-04-29T01:07:56Z","timestamp":1209431276000},"page":"351-363","source":"Crossref","is-referenced-by-count":0,"title":["A Logic for Distributed Higher Order \u03c0-Calculus"],"prefix":"10.1007","author":[{"given":"Zining","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-59293-8_196","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"R.M. Amadio","year":"1995","unstructured":"Amadio, R.M., Dam, M.: Reasoning about Higher-order Processes. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915, pp. 202\u2013216. Springer, Heidelberg (1995)"},{"key":"31_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BFb0030604","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"M. Baldamus","year":"1997","unstructured":"Baldamus, M., Dingel, J.: Modal Characterization of Weak Bisimulation for Higher-order Processes. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 285\u2013296. Springer, Heidelberg (1997)"},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-540-75292-9_7","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2007","author":"Z. Cao","year":"2007","unstructured":"Cao, Z.: Bisimulations for a Distributed Higher Order \u03c0 -Calculus. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol.\u00a04711, pp. 94\u2013108. Springer, Heidelberg (2007)"},{"key":"31_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/11690634_5","volume-title":"Foundations of Software Science and Computation Structures","author":"Z. Cao","year":"2006","unstructured":"Cao, Z.: More on bisimulations for higher-order \u03c0 -calculus. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006 and ETAPS 2006. LNCS, vol.\u00a03921, pp. 63\u201378. Springer, Heidelberg (2006)"},{"key":"31_CR5","doi-asserted-by":"crossref","first-page":"945","DOI":"10.1016\/B978-044482830-9\/50033-3","volume-title":"Handbook of Process Algebra","author":"I. Castellani","year":"2001","unstructured":"Castellani, I.: Process Algebras with Localities, ch. 15. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 945\u20131045. North-Holland, Amsterdam (2001)"},{"issue":"3","key":"31_CR6","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/j.tcs.2003.10.041","volume":"322","author":"L. Caires","year":"2004","unstructured":"Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part II). Theoretical Computer Science\u00a0322(3), 517\u2013565 (2004)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"31_CR7","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/S0890-5401(03)00137-8","volume":"186","author":"L. Caires","year":"2003","unstructured":"Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part I). Information and Computation\u00a0186(2), 194\u2013235 (2003)","journal-title":"Information and Computation"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-3-540-28644-8_21","volume-title":"CONCUR 2004 - Concurrency Theory","author":"D. Hirschkoff","year":"2004","unstructured":"Hirschkoff, D.: An Extensional Spatial Logic for Mobile Processes. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 325\u2013339. Springer, Heidelberg (2004)"},{"key":"31_CR9","volume-title":"Proceedings of Mathematical Foundations of Programming Semantics","author":"A. Jeffrey","year":"2003","unstructured":"Jeffrey, A., Rathke, J.: Contextual equivalence for higher-order \u03c0-calculus revisited. In: Proceedings of Mathematical Foundations of Programming Semantics, Elsevier, Amsterdam (2003)"},{"issue":"1","key":"31_CR10","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R. Milner","year":"1993","unstructured":"Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. Theoretical Computer Science\u00a0114(1), 149\u2013171 (1993)","journal-title":"Theoretical Computer Science"},{"key":"31_CR11","first-page":"4","volume-title":"Proc. of the 28th POPL","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D.: Extensionality and Intensionality of the Ambient Logic. In: Proc. of the 28th POPL, pp. 4\u201317. ACM Press, New York (2001)"},{"key":"31_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":"31_CR13","unstructured":"Sangiorgi, D.: Expressing mobility in process algebras: first-order and higher-order paradigms. Ph.D thesis, University of Einburgh (1992)"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Models of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79228-4_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:14:18Z","timestamp":1619507658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79228-4_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792277","9783540792284"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79228-4_31","relation":{},"subject":[]}}