{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:44Z","timestamp":1748071604530},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425540"},{"type":"electronic","value":"9783540448020"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44802-0_24","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T00:15:38Z","timestamp":1180656938000},"page":"339-354","source":"Crossref","is-referenced-by-count":25,"title":["The Decidability of Model Checking Mobile Ambients"],"prefix":"10.1007","author":[{"given":"Witold","family":"Charatonik","sequence":"first","affiliation":[]},{"given":"Jean-Marc","family":"Talbot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"24_CR1","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proceedings of the 9th European Symposium on Programming ESOP\u201901","author":"L. Cardelli","year":"2001","unstructured":"L. Cardelli and G. Ghelli. A query language based on the ambient logic. In Proceedings of the 9th European Symposium on Programming ESOP\u201901, volume 2028 of LNCS, pages 1\u201322. Springer, 2001."},{"key":"24_CR2","series-title":"Lect Notes Comput Sci","first-page":"212","volume-title":"Proceedings FoSSaCS\u201999","author":"L. Cardelli","year":"1999","unstructured":"L. Cardelli and A. D. Gordon. Equational properties of mobile ambients. In Proceedings FoSSaCS\u201999, volume 1578 of LNCS, pages 212\u2013226. Springer, 1999. An extended version appears as Microsoft Research Technical Report MSR-TR-99-11, April 1999."},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. D. Gordon. Modal logics for mobile ambients: Semantic reasoning. Unpublished annex to [5], 1999.","DOI":"10.1145\/292540.292550"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. D. Gordon. Types for mobile ambients. In Proceedings POPL\u201999, pages 79\u201392. ACM, Jan. 1999.","DOI":"10.1145\/292540.292550"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"L. Cardelli and A. D. Gordon. Anytime, anywhere: Modal logics for mobile ambients. In Proceedings POPL\u201900, pages 365\u2013377. ACM, Jan. 2000.","DOI":"10.1145\/325694.325742"},{"issue":"1","key":"24_CR6","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L. Cardelli","year":"2000","unstructured":"L. Cardelli and A. D. Gordon. Mobile ambients. Theoretical Computer Science, 240(1):177\u2013213, 2000.","journal-title":"Theoretical Computer Science"},{"key":"24_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-45413-6_8","volume-title":"Proceedings of the 5th International Conference on Typed Lambda Calculi and Applications (TLCA\u201901)","author":"L. Cardelli","year":"2001","unstructured":"L. Cardelli and A. D. Gordon. Logical properties of name restriction. In Proceedings of the 5th International Conference on Typed Lambda Calculi and Applications (TLCA\u201901), volume 2044 of LNCS, pages 46\u201360. Springer, 2001."},{"key":"24_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/3-540-45315-6_10","volume-title":"Proceedings FoSSaCS\u201901","author":"W. Charatonik","year":"2001","unstructured":"W. Charatonik, S. Dal Zilio, A. D. Gordon, S. Mukhopadhyay, and J.-M. Talbot. The complexity of model checking mobile ambients. In Proceedings FoSSaCS\u201901, volume 2030 of LNCS, pages 152\u2013167. Springer, 2001."},{"key":"24_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/3-540-44464-5_8","volume-title":"Proceedings of the 6th Asian Computing Science Conference (ASIAN\u201900)","author":"S. D. Zilio","year":"2000","unstructured":"S. Dal Zilio. Spatial congruence for ambients is decidable. In Proceedings of the 6th Asian Computing Science Conference (ASIAN\u201900), volume 1961 of LNCS, pages 88\u2013103. Springer, 2000. A full version Technical Report MSR-TR-2000-57, Microsoft Research."},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"E. L. Post. Recursively Enumerable Sets of Positive Integers and their Decision Problems. Bulletion of the American Mathematical Society, 50:284\u2013316, 1944.","DOI":"10.1090\/S0002-9904-1944-08111-1"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. Extensionality and intensionality of the ambient logics. In Proceedings POPL\u201901, pages 4\u201313. ACM, Jan. 2001.","DOI":"10.1145\/360204.375707"},{"key":"24_CR12","first-page":"569","volume":"70","author":"B. A. Trakhtenbrot","year":"1950","unstructured":"B. A. Trakhtenbrot. The impossibility of an algorithm for the decision problem for finite models. Doklady Akademii Nauk SSR, 70:569\u2013572, 1950.","journal-title":"Doklady Akademii Nauk SSR"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44802-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T23:47:07Z","timestamp":1683848827000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44802-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425540","9783540448020"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-44802-0_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}