{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:12:46Z","timestamp":1742911966571,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229407"},{"type":"electronic","value":"9783540286448"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-28644-8_16","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:48:13Z","timestamp":1267109293000},"page":"240-257","source":"Crossref","is-referenced-by-count":11,"title":["Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency"],"prefix":"10.1007","author":[{"given":"Lu\u00eds","family":"Caires","sequence":"first","affiliation":[]},{"given":"\u00c9tienne","family":"Lozes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Basu, S., Pollack, R., Roy, M.-F.: On the combinatorial and algebraic complexity of quantifier elimination. In: IEEE Symposium on Foundations of Computer Science (1994)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-24727-2_7","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Caires","year":"2004","unstructured":"Caires, L.: Behavioral and Spatial Observations in a Logic for the p-Calculus. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 72\u201389. Springer, Heidelberg (2004)"},{"key":"16_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, p. 209. Springer, Heidelberg (2002)"},{"issue":"2","key":"16_CR4","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":"16_CR5","doi-asserted-by":"crossref","unstructured":"Caires, L., Lozes, E.: Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. Technical report, ENS-Lyon LIP Report (2004)","DOI":"10.1007\/978-3-540-28644-8_16"},{"key":"16_CR6","first-page":"62","volume-title":"ACM Workshop on Types in Language Design and Implementation","author":"C. Calcagno","year":"2003","unstructured":"Calcagno, C., Cardelli, L., Gordon, A.D.: Deciding Validity in a Spatial Logic of Trees. In: ACM Workshop on Types in Language Design and Implementation, New Orleans, USA, pp. 62\u201373. ACM Press, New York (2003)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/3-540-45294-X_10","volume-title":"FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science","author":"C. Calcagno","year":"2001","unstructured":"Calcagno, C., Yang, H., O\u2019Hearn, P.W.: Computability and complexity results for a spatial assertion language for data structures. In: Hariharan, R., Mukund, M., Vinay, V. (eds.) FSTTCS 2001. LNCS, vol.\u00a02245, p. 108. Springer, Heidelberg (2001)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-36576-1_14","volume-title":"Foundations of Software Science and Computational Structures","author":"L. Cardelli","year":"2003","unstructured":"Cardelli, L., Gardner, P., Ghelli, G.: Manipulating Trees with Hidden Labels. In: Gordon, A.D. (ed.) ETAPS 2003 and FOSSACS 2003. LNCS, vol.\u00a02620, pp. 216\u2013232. Springer, Heidelberg (2003)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45309-1_1","volume-title":"Programming Languages and Systems","author":"L. Cardelli","year":"2001","unstructured":"Cardelli, L., Ghelli, G.: A Query Language Based on the Ambient Logic. In: Sands, D. (ed.) ESOP 2001 and ETAPS 2001. LNCS, vol.\u00a02028, pp. 1\u201322. Springer, Heidelberg (2001)"},{"key":"16_CR10","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.D.: Logical Properties of Name Restriction. In: Abramsky, S. (ed.) TLCA 2001. LNCS, vol.\u00a02044, p. 46. Springer, Heidelberg (2001)"},{"key":"16_CR11","first-page":"365","volume-title":"27th ACM Symp. on Principles of Programming Languages","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, Anywhere. Modal Logics for Mobile Ambients. In: 27th ACM Symp. on Principles of Programming Languages, pp. 365\u2013377. ACM Press, New York (2000)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-45927-8_21","volume-title":"Programming Languages and Systems","author":"W. Charatonik","year":"2002","unstructured":"Charatonik, W., Gordon, A.D., Talbot, J.-M.: Finite-control mobile ambients. In: Le M\u00e9tayer, D. (ed.) ESOP 2002 and ETAPS 2002. LNCS, vol.\u00a02305, pp. 295\u2013313. Springer, Heidelberg (2002)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 15th Annual Conference of the European Association for Computer Science Logic","author":"W. Charatonik","year":"2001","unstructured":"Charatonik, W., Talbot, J.-M.: The decidability of model checking mobile ambients. In: Proceedings of the 15th Annual Conference of the European Association for Computer Science Logic. LNCS. Springer, Heidelberg (2001)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-540-24727-2_9","volume-title":"Foundations of Software Science and Computation Structures","author":"G. Conforti","year":"2004","unstructured":"Conforti, G., Ghelli, G.: Decidability of Freshness, Undecidability of Revelation. In: Walukiewicz, I. (ed.) FOSSACS 2004. LNCS, vol.\u00a02987, pp. 105\u2013120. Springer, Heidelberg (2004)"},{"key":"16_CR15","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)"},{"key":"16_CR16","volume-title":"Third Annual 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: Third Annual Symposium on Logic in Computer Science, Copenhagen, Denmark. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-540-24597-1_22","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"D. Hirschkoff","year":"2003","unstructured":"Hirschkoff, D., Lozes, \u00c9., Sangiorgi, D.: Minimality results for the spatial logics. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, pp. 252\u2013264. Springer, Heidelberg (2003)"},{"key":"16_CR18","unstructured":"Lozes, E.: Adjunct elimination in the static Ambient Logic. In: Proc. of EXPRESS 2003. Elsevier, Amsterdam (to appear, 2003)"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24725-8_1","volume-title":"Programming Languages and Systems","author":"P.W. O\u2019Hearn","year":"2004","unstructured":"O\u2019Hearn, P.W.: Resources, Concurrency, and Local Reasoning. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 1\u20132. Springer, Heidelberg (2004)"},{"key":"16_CR20","volume-title":"Seventieth Annual Symposium on Logic in Computer Science","author":"J.C. Reynolds","year":"2002","unstructured":"Reynolds, J.C.: Separation Logic: A Logic for Shared Mutable Data Structures. In: Seventieth Annual Symposium on Logic in Computer Science, Copenhagen, Denmark. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"16_CR21","first-page":"4","volume-title":"28th Annual Symposium on Principles of Programming Languages","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D.: Extensionality and Intensionality of the Ambient Logics. In: 28th Annual Symposium on Principles of Programming Languages, pp. 4\u201313. ACM Press, New York (2001)"},{"key":"16_CR22","first-page":"569","volume":"70","author":"B.A. Trakhtenbrot","year":"1950","unstructured":"Trakhtenbrot, B.A.: The impossibility of an algorithm for the decision problem for finite models. Dok\u0142ady Akademii Nauk SSR\u00a070, 569\u2013572 (1950)","journal-title":"Dok\u0142ady Akademii Nauk SSR"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2004 - Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-28644-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:45:39Z","timestamp":1558273539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-28644-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229407","9783540286448"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-28644-8_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}