{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:22:59Z","timestamp":1778296979782,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540440437","type":"print"},{"value":"9783540456940","type":"electronic"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45694-5_15","type":"book-chapter","created":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T03:44:18Z","timestamp":1191555858000},"page":"209-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["A Spatial Logic for Concurrency (Part II)"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Caires","sequence":"first","affiliation":[]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"15_CR1","unstructured":"L. Caires. A Model for Declarative Programming and Specification with Concurrency and Mobility. PhD thesis, Dept. de Inform\u00e1tica, FCT, Universidade Nova de Lisboa, 1999."},{"key":"15_CR2","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"A Spatial Logic for Concurrency (Part I)","author":"L. Caires","year":"2001","unstructured":"L. Caires and L. Cardelli. A Spatial Logic for Concurrency (Part I). In N. Kobayashi and B. C. Pierce, editors, Proceedings of the 10th Symposium on Theoretical Aspects of Computer Science (TACS 2001), volume 2215 of Lecture Notes in Computer Science, pages 1\u201330. Springer-Verlag, 2001."},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"L. Caires and L. Cardelli. A Spatial Logic for Concurrency (Part II). Technical Report 3\/2002\/DI\/PLM\/FCTUNL, DI\/PLM FCT Universidade Nova de Lisboa, 2002.","DOI":"10.1007\/3-540-45694-5_15"},{"key":"15_CR4","unstructured":"L. Caires and L. Cardelli. A Spatial Logic for Concurrency (Part I). Information and Computation, to appear."},{"key":"15_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/BFb0053562","volume-title":"Verifiable and Executable Specifications of Concurrent Objects","author":"L. Caires","year":"1998","unstructured":"L. Caires and L. Monteiro. Verifiable and Executable Specifications of Concurrent Objects in L\u03c0. In C. Hankin, editor, Programming Languages and Systems: Proceedings of the 7th European Symp. on Programming (ESOP 1998), number 1381 in Lecture Notes in Computer Science, pages 42\u201356. Springer-Verlag, 1998."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"C. Calcagno, Luca Cardelli, and Andrew Gordon. Deciding Validity in a Spatial Logic of Trees. to appear, 2002.","DOI":"10.1145\/604181.604183"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. D. Gordon. Anytime, Anywhere. Modal Logics for Mobile Ambients. In 27th ACM Symp. on Principles of Programming Languages, pages 365\u2013377. ACM, 2000.","DOI":"10.1145\/325694.325742"},{"key":"15_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45413-6_8","volume-title":"Typed Lambda Calculi and Applications","author":"L. Cardelli","year":"2001","unstructured":"L. Cardelli and A. D. Gordon. Logical Properties of Name Restriction. In S. Abramsky, editor, Typed Lambda Calculi and Applications, number 2044 in Lecture Notes in Computer Science. Springer-Verlag, 2001."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"M. Dam. Relevance Logic and Concurrent Composition. In Proceedings, Third Annual Symposium on Logic in Computer Science, pages 178\u2013185, Edinburgh, Scotland, 5\u20138 July 1988. IEEE Computer Society.","DOI":"10.1109\/LICS.1988.5116"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"M. Gabbay and A. Pitts. A New Approach to Abstract Syntax Involving Binders. In 14th Annual Symposium on Logic in Computer Science, pages 214\u2013224. IEEE Computer Society Press, Washington, 1999.","DOI":"10.1109\/LICS.1999.782617"},{"issue":"1","key":"15_CR11","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner. Algebraic laws for Nondeterminism and Concurrency. JACM, 32(1):137\u2013161, 1985.","journal-title":"JACM"},{"issue":"2","key":"15_CR12","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P. O\u2019Hearn","year":"1999","unstructured":"P. O\u2019Hearn and D. Pym. The Logic of Bunched Implications. The Bulletin of Symbolic Logic, 5(2):215\u2013243, 1999.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"15_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/3-540-45500-0_11","volume-title":"Nominal Logic: A First Order Theory of Names and Binding","author":"A. Pitts","year":"2001","unstructured":"A. Pitts. Nominal Logic: A First Order Theory of Names and Binding. In B. C. Pierce N. Kobayashi, editor, Proceedings of the 10th Symposium on Theoretical Aspects of Computer Science (TACS 2001), volume 2215 of Lecture Notes in Computer Science, pages 219\u2013235. Springer-Verlag, 2001."},{"key":"15_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BFb0037118","volume-title":"A logic for parametric polymorphism","author":"G. Plotkin","year":"1993","unstructured":"G. Plotkin and M. Abadi. A logic for parametric polymorphism. In M. Bezem and J. F. Groote, editors, International Conference on Typed Lambda Calculi and Applications, number 664 in Lecture Notes in Computer Science, pages 361\u2013375, Utrecht, The Netherlands, March 1993. Springer-Verlag. TLCA\u201993."},{"key":"15_CR15","unstructured":"J. C. Reynolds. Separation Logic: A Logic for Shared Mutable Data Structures. In Proceedings of the Third Annual Symposium on Logic in Computer Science, Copenhagen, Denmark, 2002. IEEE Computer Society."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. Extensionality and Intensionality of the Ambient Logics. In 28th Annual Symposium on Principles of Programming Languages, pages 4\u201313. ACM, 2001. 212, 222","DOI":"10.1145\/360204.375707"},{"key":"15_CR17","unstructured":"A. Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. Ph.D. thesis, Dept. of Computer Science, Edingburgh University, 1994."},{"key":"15_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3208-5","volume-title":"Labelled Non-Classical Logics","author":"L. Vigan\u00f2","year":"2000","unstructured":"Luca Vigan\u00f2. Labelled Non-Classical Logics. Kluwer Academic Publishers, Dordrecht, 2000."}],"container-title":["Lecture Notes in Computer Science","CONCUR 2002 \u2014 Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45694-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T13:46:03Z","timestamp":1778247963000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45694-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440437","9783540456940"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45694-5_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"18 September 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}