{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:29:50Z","timestamp":1725560990353},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206804"},{"type":"electronic","value":"9783540245971"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24597-1_22","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T03:39:20Z","timestamp":1280374760000},"page":"252-264","source":"Crossref","is-referenced-by-count":16,"title":["Minimality Results for the Spatial Logics"],"prefix":"10.1007","author":[{"given":"D.","family":"Hirschkoff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9.","family":"Lozes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Sangiorgi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Busi, N., Zavattaro, G.: On the expressiveness of Movement in Pure Mobile Ambients. ENTCS\u00a066(3) (2002)","DOI":"10.1016\/S1571-0661(04)80414-6"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45500-0_1","volume-title":"Theoretical Aspects of Computer Software","author":"L. Caires","year":"2001","unstructured":"Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part I). In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol.\u00a02215, p. 1. Springer, Heidelberg (2001)"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-45694-5_15","volume-title":"CONCUR 2002 - Concurrency Theory","author":"L. Caires","year":"2002","unstructured":"Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part II). In: Brim, L., Jan\u010dar, P., K\u0159et\u00ednsk\u00fd, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.\u00a02421, pp. 209\u2013225. Springer, Heidelberg (2002)"},{"key":"22_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.: Mobile Ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, pp. 140\u2013155. Springer, Heidelberg (1998)"},{"key":"22_CR5","first-page":"365","volume-title":"Proc. of POPL 2000","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.: Anytime, Anywhere, Modal Logics for Mobile Ambients. In: Proc. of POPL 2000, pp. 365\u2013377. ACM Press, New York (2000)"},{"key":"22_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-45413-6_8","volume-title":"Typed Lambda Calculi and Applications","author":"L. Cardelli","year":"2001","unstructured":"Cardelli, L., Gordon, A.: Logical Properties of Name Restriction. In: Abramsky, S. (ed.) TLCA 2001. LNCS, vol.\u00a02044, p. 46. Springer, Heidelberg (2001)"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1109\/LICS.2002.1029850","volume-title":"17th IEEE Symposium on Logic in Computer Science","author":"D. Hirschkoff","year":"2002","unstructured":"Hirschkoff, D., Lozes, E., Sangiorgi, D.: Separability, Expressiveness and Decidability in the Ambient Logic. In: 17th IEEE Symposium on Logic in Computer Science, pp. 423\u2013432. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Hirschkoff, D., Lozes, E., Sangiorgi, D.: Minimality Results for the Spatial Logics. Technical report, LIP \u2013 ENS Lyon (2003), in\u2013preparation available from http:\/\/www.ens-lyon.fr\/~elozes","DOI":"10.1007\/978-3-540-24597-1_22"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201996: Concurrency Theory","author":"U. Nestmann","year":"1996","unstructured":"Nestmann, U., Pierce, B.: Decoding choice encodings. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, Springer, Heidelberg (1996)"},{"key":"22_CR10","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"B.C. Pierce","year":"2000","unstructured":"Pierce, B.C., Turner, D.N.: Pict: A programming language based on the picalculus. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press, Cambridge (2000)"},{"key":"22_CR11","first-page":"4","volume-title":"Proc. of 28th POPL","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D.: Extensionality and Intensionality of the Ambient Logic. In: Proc. of 28th POPL, pp. 4\u201317. ACM Press, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24597-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:42:50Z","timestamp":1559331770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24597-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206804","9783540245971"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24597-1_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}