{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:19:36Z","timestamp":1725517176871},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540852377"},{"type":"electronic","value":"9783540852384"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85238-4_40","type":"book-chapter","created":{"date-parts":[[2008,8,18]],"date-time":"2008-08-18T15:34:36Z","timestamp":1219073676000},"page":"491-502","source":"Crossref","is-referenced-by-count":3,"title":["A Complete Axiomatic System for a Process-Based Spatial Logic"],"prefix":"10.1007","author":[{"given":"Radu","family":"Mardare","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","volume-title":"Language in action. Categories, Lambdas and Dynamic Logic","author":"J. Benthem van","year":"1991","unstructured":"van Benthem, J.: Language in action. Categories, Lambdas and Dynamic Logic. Elsevier Science Publisher, Amsterdam (1991)"},{"key":"40_CR2","unstructured":"Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. North Holland, Elsevier (2001)"},{"key":"40_CR3","doi-asserted-by":"crossref","unstructured":"Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part I), Information and Computation, vol.\u00a0186(2) (2003)","DOI":"10.1016\/S0890-5401(03)00137-8"},{"key":"40_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. Springer, Heidelberg (2002)"},{"key":"40_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2004 - Concurrency Theory","author":"L. Caires","year":"2004","unstructured":"Caires, L., Lozes, E.: Elimination of Quantifiers and Decidability in Spatial Logics for Concurrency. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170. Springer, Heidelberg (2004)"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"Calcagno, C., Cardelli, L., Gordon, A.D.: Deciding validity in a spatial logic for trees. Journal of Functional Programming\u00a015 (2005)","DOI":"10.1017\/S0956796804005404"},{"key":"40_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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., et al.: 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. Springer, Heidelberg (2001)"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, Anywhere: Modal Logics for Mobile Ambients. In: Proc. 27th ACM Symposium on Principles of Programming Languages (2000)","DOI":"10.1145\/325694.325742"},{"key":"40_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44802-0_24","volume-title":"Computer Science Logic","author":"W. Charatonik","year":"2001","unstructured":"Charatonik, W., Talbot, J.M.: The decidability of model checking mobile ambients. In: Fribourg, L. (ed.) CSL 2001 and EACSL 2001. LNCS, vol.\u00a02142. Springer, Heidelberg (2001)"},{"key":"40_CR10","doi-asserted-by":"crossref","unstructured":"Dam, M.: Model checking mobile processes. Information and Computation\u00a0129(1) (1996)","DOI":"10.1006\/inco.1996.0072"},{"key":"40_CR11","unstructured":"Gyuris, V.: Associativity does not imply undecidability without the axiom of Modal Distribution. In: Marx, M., et al. (eds.) Arrow Logic and Multi-Modal Logic, CSLI and FOLLI (1996)"},{"key":"40_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., et al.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"40_CR13","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for Nondeterminism and Concurrency. Journal of J. ACM\u00a032(1) (1985)","DOI":"10.1145\/2455.2460"},{"key":"40_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73859-6_26","volume-title":"Algebra and Coalgebra in Computer Science","author":"R. Mardare","year":"2007","unstructured":"Mardare, R.: Observing distributed computation. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol.\u00a04624. Springer, Heidelberg (2007)"},{"key":"40_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11888116_16","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"R. Mardare","year":"2006","unstructured":"Mardare, R., Priami, C.: Decidable extensions of Hennessy-Milner Logic. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229. Springer, Heidelberg (2006)"},{"key":"40_CR16","unstructured":"Mardare, R., Polocriti, A.: Towards a complete axiomatization for Spatial Logics, TechRep. CoSBi, TR-03-2008, \n                    \n                      www.cosbi.eu"},{"key":"40_CR17","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, New York (1982)"},{"key":"40_CR18","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. TCS 114 (1993)","DOI":"10.1016\/0304-3975(93)90156-N"},{"key":"40_CR19","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A. Prior","year":"1967","unstructured":"Prior, A.: Past, Present and Future. Clarendon Press, Oxford (1967)"},{"key":"40_CR20","doi-asserted-by":"crossref","unstructured":"Sangiorgi, D.: Extensionality and Intensionality of the Ambient Logics. In: Proc. of the 28th ACM Annual Symposium on Principles of Programming Languages (2001)","DOI":"10.1145\/360204.375707"},{"key":"40_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and temporal properties of processes","author":"C. Stirling","year":"2001","unstructured":"Stirling, C.: Modal and temporal properties of processes. Springer, New York (2001)"},{"key":"40_CR22","doi-asserted-by":"crossref","unstructured":"Urquhart, A.: Semantics for Relevant Logics. Journal of Symbolic Logic\u00a037(1) (1972)","DOI":"10.2307\/2272559"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2008"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85238-4_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:29:54Z","timestamp":1558279794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85238-4_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540852377","9783540852384"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85238-4_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}