{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:54Z","timestamp":1761611214509},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540419600"},{"type":"electronic","value":"9783540454137"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45413-6_8","type":"book-chapter","created":{"date-parts":[[2007,8,4]],"date-time":"2007-08-04T04:51:43Z","timestamp":1186203103000},"page":"46-60","source":"Crossref","is-referenced-by-count":32,"title":["Logical Properites of Name Restriction"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[]},{"given":"Andrew D.","family":"Gordon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,4,25]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1145\/324133.324266","volume":"46 5","author":"M. Abadi","year":"1999","unstructured":"Mart\u00edn Abadi, Secrecy by Typing in Security Protocols. JACM 46, 5 (September 1999, 749\u2013786.","journal-title":"JACM"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1998.2740","volume":"148","author":"M. Abadi","year":"1999","unstructured":"Mart\u00edn Abadi, and Andrew D. Gordon, A Calculus for Cryptographic Protocols: the Spi Calculus. Information and Computation 148(1999): 1\u201370.","journal-title":"Information and Computation"},{"key":"8_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0053562","volume-title":"Programming Languages and Systems, Proceedings of ESOP\u201998","author":"L. Caires","year":"1998","unstructured":"Lu\u00eds Caires and Lu\u00eds Monteiro, Verifiable and Executable Logic Specifications of Concurrent Objects in L \u03c0. In Programming Languages and Systems, Proceedings of ESOP\u201998, Chris Hankin (Ed.), LNCS, Springer, 1998. pp. 42\u201356."},{"key":"8_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/3-540-44618-4_27","volume-title":"Proceedings of CONCUR 2000","author":"L. Cardelli","year":"2000","unstructured":"Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon, Secrecy and Group Creation. Catuscia Palamidessi, editor. Proceedings of CONCUR 2000. LNCS 1877, Springer 2000, pp. 365\u2013379."},{"key":"8_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/3-540-44929-9_25","volume-title":"Proceedings of IFIP TCS2000","author":"L. Cardelli","year":"2000","unstructured":"Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon, Ambient Groups and Mobility Types. Proceedings of IFIP TCS2000. J. van Leeuwen, O. Watanabek, M. Hagiya, P.D. Mosses, T. Ito (Eds.). THeoretical COmputer Science; Exploring New Frontiers in Theoretical Informatics. LNCS 1872, Springer, 2000. pp. 333\u2013347."},{"key":"8_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Founations of Software Science and Computational Structures","author":"L. Cardelli","year":"1998","unstructured":"Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon, Mobile Ambients, Founations of Software Science and Computational Structures, Maurice Nivat (Ed.), LNCS 1378, Springer, 1998. pp. 140\u2013155."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Luca Cardelli and Andrew D. Gordon, Anytime, Anywhere, Modal Logics for Mobile Ambients. Proceedings of the 27th ACM Symposium on Principles of Programming Languages, 2000, pp. 365\u2013377.","DOI":"10.1145\/325694.325742"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Silvano Dal Zilio, Spatial Congruence for Ambients is Decidable. Technical Report MSR-TR-2000-41, Microsoft Research, May 2000.","DOI":"10.1007\/3-540-44464-5_8"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Furio Honsell, Marino Miculan and Ivan Scangnetto, \u03c0-Calculus in (Co) Inductive Type Theory. TCS 2000","DOI":"10.1016\/S0304-3975(00)00095-5"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Murdoch J. Gabbay and Andrew M. Pitts, A New Approach to Abstract Syntax Involving Binders. In Proceedings 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 1999. IEEE Computer Society Pres, 1999. pp 214\u2013224.","DOI":"10.1109\/LICS.1999.782617"},{"key":"8_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/3-540-49019-1_15","volume-title":"Foundations of Software Science and Computational Structures","author":"A. D. Gordon","year":"1999","unstructured":"Andrew D. Gordon and Luca Cardelli, Equational Properties of Mobile Ambients, Wolfgant Thomas, Editor. Foundations of Software Science and Computational Structures, Second International Conference, FOSSACS\u201999. LNCS 1578. Springer, 1999. pp 212\u2013226."},{"key":"8_CR12","unstructured":"Robin Milner, Communicating and Mobile Sysetms: the \u03c0-Calculus. Cambridge University Press, 1999."},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Robin Milner, Joachim Parrow and David Walker, A Calculus of Mobile Proceseses, Parts 1\u20132. Information and Computation, 100(1), 1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Davide Sangiorgi, Extensionality and Intensionality in the Ambient Logistics, Proceedings of the 28th ACM Symposium on Principles of Programming Languages, 2001. pp. 4\u201313.","DOI":"10.1145\/360204.375707"}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45413-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T02:11:34Z","timestamp":1629511894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45413-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540419600","9783540454137"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45413-6_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}