{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:16:35Z","timestamp":1781892995261,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540290513","type":"print"},{"value":"9783540317302","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11559306_7","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T12:50:36Z","timestamp":1127825436000},"page":"122-137","source":"Crossref","is-referenced-by-count":7,"title":["A Complete Temporal and Spatial Logic for Distributed Systems"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Pattinson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Reus","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press, Cambridge (2001)"},{"issue":"4","key":"7_CR2","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1093\/jigpal\/6.4.625","volume":"6","author":"P. Blackburn","year":"1998","unstructured":"Blackburn, P., Tzakova, M.: Hybrid completeness. Logic Journal of the IGPL\u00a06(4), 625\u2013650 (1998)","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"7_CR3","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/jigpal\/7.1.27","volume":"7","author":"P. Blackburn","year":"1999","unstructured":"Blackburn, P., Tzakova, M.: Hybrid languages and temporal logic. Logic Journal of the IGPL\u00a07(1), 27\u201354 (1999)","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"7_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). Inf. Comput.\u00a0186(2), 194\u2013235 (2003)","journal-title":"Inf. Comput."},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1016\/j.tcs.2003.10.041","volume":"322","author":"L. Caires","year":"2004","unstructured":"Caires, L., Cardelli, L.: A spatial logic for concurrency - II. Theor. Comput. Sci.\u00a0322(3), 517\u2013565 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR6","first-page":"271","volume-title":"POPL 2005: Proceedings of the 32nd symposium on Principles of programming languages","author":"C. Calcagno","year":"2005","unstructured":"Calcagno, C., Gardner, P., Zarfaty, U.: Context logic and tree update. In: POPL 2005: Proceedings of the 32nd symposium on Principles of programming languages, pp. 271\u2013282. ACM Press, New York (2005)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/3-540-45465-9_51","volume-title":"Automata, Languages and Programming","author":"L. Cardelli","year":"2002","unstructured":"Cardelli, L., Gardner, P., Ghelli, G.: A spatial logic for querying graphs. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol.\u00a02380, pp. 597\u2013610. Springer, Heidelberg (2002)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, anywhere: Modal logics for mobile ambients. In: POPL, pp. 365\u2013377 (2000)","DOI":"10.1145\/325694.325742"},{"key":"7_CR9","first-page":"198","volume-title":"Mobile ambients","author":"L. Cardelli","year":"2001","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients, pp. 198\u2013229. Cambridge University Press, New York (2001)"},{"key":"7_CR10","unstructured":"Chadha, R., Macedonio, D., Sassone, V.: A distributed Kripke semantics. Technical Report 2004:04, University of Sussex (2004)"},{"key":"7_CR11","unstructured":"W3C consortium. Xlink language version 1.0"},{"issue":"5","key":"7_CR12","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. Nicola de","year":"1998","unstructured":"de Nicola, R., Ferrari, G.L., Pugliese, R.: Klaim: A kernel language for agents interaction and mobility. IEEE Trans. Softw. Eng.\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR13","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":"7_CR14","doi-asserted-by":"crossref","unstructured":"Finger, M., Gabbay, D.: Adding a Temporal Dimension to a Logic System, ch.\u00a014. Oxford Logic Guides, vol.\u00a01. In: [15], pp. 524\u2013552 (1994)","DOI":"10.1093\/oso\/9780198537694.003.0014"},{"key":"7_CR15","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013976","volume-title":"Temporal Logic: Mathematical Foundations and Computational Aspects","author":"D. Gabbay","year":"1994","unstructured":"Gabbay, D., Hodkinson, I., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford Logic Guides, vol.\u00a0I(28). Oxford University Press, Oxford (1994)"},{"key":"7_CR16","volume-title":"Many-dimensional Modal logics: Theory and Applications","author":"D. Gabbay","year":"2003","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional Modal logics: Theory and Applications. Elsevier, Amsterdam (2003)"},{"key":"7_CR17","first-page":"163","volume-title":"Proc. of the 7th ACM Symp. on Principles of Programming Languages","author":"D. Gabbay","year":"1980","unstructured":"Gabbay, D., Pnueli, A., Shela, S., Stavi, J.: On the temporal analysis of fairness. In: Proc. of the 7th ACM Symp. on Principles of Programming Languages, pp. 163\u2013173. ACM press, New York (1980)"},{"key":"7_CR18","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":"7_CR19","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71549-5","volume-title":"Temporal Logic of Programs","author":"F. Kr\u00f6ger","year":"1987","unstructured":"Kr\u00f6ger, F.: Temporal Logic of Programs. EATCS Monographs on Theoretical Computer Science, vol.\u00a08. Springer, Heidelberg (1987)"},{"key":"7_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/3-540-36578-8_7","volume-title":"Fundamental Approaches to Software Engineering","author":"S. Merz","year":"2003","unstructured":"Merz, S., Wirsing, M., Zappe, J.: A spatio-temporal logic for the specification and refinement of mobile systems. In: Pezz\u00e9, M. (ed.) FASE 2003. LNCS, vol.\u00a02621, pp. 87\u2013101. Springer, Heidelberg (2003)"},{"issue":"1","key":"7_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Inf. Comput.\u00a0100(1), 1\u201340 (1992)","journal-title":"Inf. Comput."},{"issue":"114","key":"7_CR23","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0304-3975(93)90156-N","volume":"1","author":"R. Milner","year":"1993","unstructured":"Milner, R., Parrow, J., Walker, D.: Modal logic for mobile processes. Theoretical Computer Science\u00a01(114), 149\u2013171 (1993)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"7_CR24","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/963927.963930","volume":"5","author":"R. Nicola De","year":"2004","unstructured":"De Nicola, R., Loreti, M.: A modal logic for mobile agents. ACM Trans. Comput. Logic\u00a05(1), 79\u2013128 (2004)","journal-title":"ACM Trans. Comput. Logic"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Passy, S., Tinchev, T.: An essay in combinatory dynamic logic. Information and Computation\u00a093 (1991)","DOI":"10.1016\/0890-5401(91)90026-X"},{"key":"7_CR26","unstructured":"Zappe, J.: Towards a mobile TLA. In: Nissim, M. (ed.) ESSLI Student Workshop on Logic (2002)"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11559306_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,4]],"date-time":"2025-01-04T15:33:31Z","timestamp":1736004811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11559306_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540290513","9783540317302"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11559306_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}