{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T22:40:20Z","timestamp":1736635220181,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462194"},{"type":"electronic","value":"9783540462200"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11888116_16","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T14:06:43Z","timestamp":1159884403000},"page":"196-211","source":"Crossref","is-referenced-by-count":0,"title":["Decidable Extensions of Hennessy-Milner Logic"],"prefix":"10.1007","author":[{"given":"Radu","family":"Mardare","sequence":"first","affiliation":[]},{"given":"Corrado","family":"Priami","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Handbook of Process Algebra","author":"J.A. Bergstra","year":"2001","unstructured":"Bergstra, J.A.: Handbook of Process Algebra. Elsevier Science Inc., New York (2001)"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. JACM\u00a032(1), 137\u2013161 (1985)","journal-title":"JACM"},{"key":"16_CR3","doi-asserted-by":"publisher","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":"16_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"114","author":"R. Milner","year":"1993","unstructured":"Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. Theoretical Computer Science 114, 149\u2013171 (1993)","journal-title":"Theoretical Computer Science vol"},{"key":"16_CR5","unstructured":"Dam, M.: Proof systems for \u03c0-calculus. In: de Queiroz, (ed.) Logic for Concurrency and Synchronisation, Studies in Logic and Computation. Oxford University Press, Oxford (to appear)"},{"issue":"1","key":"16_CR6","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1996.0072","volume":"129","author":"M. Dam","year":"1996","unstructured":"Dam, M.: Model checking mobile processes. Information and Computation\u00a0129(1), 35\u201351 (1996)","journal-title":"Information and Computation"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/S0890-5401(03)00137-8","volume":"186\/2","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_CR8","unstructured":"Cardelli, L., Gordon, A.D.: Ambient logic. Mathematical Structures in Computer Science (to appear, 2003)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, anywhere: Modal logics for mobile ambients, 365\u2013377 (2000)","DOI":"10.1145\/325694.325742"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Cardelli","year":"1998","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, p. 140. Springer, Heidelberg (1998)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-28644-8_16","volume-title":"CONCUR 2004 - Concurrency Theory","author":"L. Caires","year":"2004","unstructured":"Caires, L., Lozes, \u00c9.: Elimination of quantifiers and undecidability in spatial logics for concurrency. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 240\u2013257. Springer, Heidelberg (2004)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","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, pp. 339\u2013354. Springer, Heidelberg (2001)"},{"key":"16_CR13","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. LNCS, vol.\u00a02305, pp. 295\u2013313. Springer, Heidelberg (2002)"},{"key":"16_CR14","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":"16_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"16_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"16_CR17","first-page":"165","volume-title":"Synthese: Knowledge, Rationality and Action","author":"A. Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.S.: Logics for epistemic programs. In: Symons, J., Hintikka, J. (eds.) Synthese: Knowledge, Rationality and Action, vol.\u00a0139 (2), pp. 165\u2013224. Springer, Heidelberg (2004)"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J. Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information\u00a06, 146\u2013169 (1997)","journal-title":"Journal of Logic, Language and Information"},{"issue":"4","key":"16_CR19","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1111\/1467-8586.00133","volume":"53","author":"J.F.A.K. Benthem van","year":"2001","unstructured":"van Benthem, J.F.A.K.: Games in dynamic epistemic logic. Bulletin of Economic Research\u00a053(4), 219\u2013248 (2001)","journal-title":"Bulletin of Economic Research, Los Altos"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/3-540-45608-2_2","volume-title":"Foundations of Security Analysis and Design","author":"P.F. Syverson","year":"2001","unstructured":"Syverson, P.F., Cervesato, I.: The logic of authentication protocols. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, p. 63. Springer, Heidelberg (2001)"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Mardare, R., Priami, C.: Dynamic epistemic spatial logics. Technical Report, 03\/2006, Microsoft Research Center for Computational and Systems Biology, Trento, Italy (2006)","DOI":"10.1007\/11885191"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Mardare, R., Priami, C.: A decidable extension of hennessy-milner logic with spatial operators. Technical Report DIT-06-009, Informatica e Telecomunicationi, University of Trento (2006)","DOI":"10.1007\/11888116_16"},{"key":"16_CR23","unstructured":"Mardare, R.: Logical analysis of complex systems: Dynamic epistemic spatial logics. PhD. thesis, DIT, University of Trento, Italy (March 2006), http:\/\/www.dit.unitn.it\/~mardare\/publications.htm"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Calcagno, C., Cardelli, L., Gordon, A.D.: Deciding validity in a spatial logic for trees, 62\u201373 (2003)","DOI":"10.1145\/640136.604183"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T03:12:54Z","timestamp":1736565174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11888116_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}