{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:07:28Z","timestamp":1725502048459},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540775041"},{"type":"electronic","value":"9783540775058"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77505-8_18","type":"book-chapter","created":{"date-parts":[[2008,1,24]],"date-time":"2008-01-24T12:56:35Z","timestamp":1201179395000},"page":"231-239","source":"Crossref","is-referenced-by-count":0,"title":["A Spatial Logical Characterisation of Context Bisimulation"],"prefix":"10.1007","author":[{"given":"Zining","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","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)"},{"issue":"3","key":"18_CR2","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":"18_CR3","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":"18_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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)"},{"issue":"1:4","key":"18_CR5","first-page":"1","volume":"1","author":"A. Jeffrey","year":"2005","unstructured":"Jeffrey, A., Rathke, J.: for higher-order \u03c0-calculus revisited. Logical Methods in Computer Science\u00a01(1:4), 1\u201322 (2005)","journal-title":"Logical Methods in Computer Science"},{"issue":"1","key":"18_CR6","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":"18_CR7","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":"18_CR8","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: Bisimulation in higher-order calculi. Information and Computation 131(2) (1996)","DOI":"10.1006\/inco.1996.0096"},{"key":"18_CR9","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","Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77505-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T01:35:55Z","timestamp":1551404155000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77505-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540775041","9783540775058"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77505-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}