{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T21:09:10Z","timestamp":1776373750514,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642387081","type":"print"},{"value":"9783642387098","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-662-44602-7_18","type":"book-chapter","created":{"date-parts":[[2014,8,23]],"date-time":"2014-08-23T01:18:40Z","timestamp":1408756720000},"page":"222-235","source":"Crossref","is-referenced-by-count":44,"title":["Specifying and Verifying Properties of Space"],"prefix":"10.1007","author":[{"given":"Vincenzo","family":"Ciancia","sequence":"first","affiliation":[]},{"given":"Diego","family":"Latella","sequence":"additional","affiliation":[]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[]},{"given":"Mieke","family":"Massink","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Aiello, M.: Spatial Reasoning: Theory and Practice. PhD thesis, Institute of Logic, Language and Computation, University of Amsterdam (2002)"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.): Handbook of Spatial Logics. Springer (2007)","DOI":"10.1007\/978-1-4020-5587-4"},{"key":"18_CR3","unstructured":"Baier, C., Katoen, J.P.: Principles of model checking. MIT Press (2008)"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Bojanczyk, M., Klin, B., Lasota, S.: Automata with group actions. In: LICS, pp. 355\u2013364. IEEE Computer Society Press (2011)","DOI":"10.1109\/LICS.2011.48"},{"issue":"5","key":"18_CR5","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L. Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: A tutorial. Perform. Eval.\u00a070(5), 317\u2013349 (2013)","journal-title":"Perform. Eval."},{"issue":"2","key":"18_CR6","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":"18_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":"18_CR8","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.D.: Anytime, anywhere: Modal logics for mobile ambients. In: POPL, pp. 365\u2013377. ACM (2000)","DOI":"10.1145\/325694.325742"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/1555349.1555363","volume-title":"SIGMETRICS","author":"A. Chaintreau","year":"2009","unstructured":"Chaintreau, A., Le Boudec, J., Ristanovic, N.: The age of gossip: Spatial mean field regime. In: SIGMETRICS, pp. 109\u2013120. ACM, New York (2009)"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Ciancia, V., Latella, D., Loreti, M., Massink, M.: Specifying and verifying properties of space - extended version. CoRR, abs\/1406.6393 (2014)","DOI":"10.1007\/978-3-662-44602-7_18"},{"issue":"5","key":"18_CR11","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R. De Nicola","year":"1998","unstructured":"De Nicola, R., Ferrari, G.L., Pugliese, R.: Klaim: A kernel language for agents interaction and mobility. IEEE Trans. Software Eng.\u00a024(5), 315\u2013330 (1998)","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"18_CR12","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1109\/69.404033","volume":"7","author":"A. Bimbo Del","year":"1995","unstructured":"Del Bimbo, A., Vicario, E., Zingoni, D.: Symbolic description and visual querying of image sequences using spatio-temporal logic. IEEE Trans. Knowl. Data Eng.\u00a07(4), 609\u2013622 (1995)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"4","key":"18_CR13","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1016\/j.ic.2005.08.004","volume":"204","author":"M.P. Fiore","year":"2006","unstructured":"Fiore, M.P., Staton, S.: Comparing operational models of name-passing process calculi. Information and Computation\u00a0204(4), 524\u2013560 (2006)","journal-title":"Information and Computation"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-642-19805-2_25","volume-title":"Foundations of Software Science and Computational Structures","author":"M.J. Gabbay","year":"2011","unstructured":"Gabbay, M.J., Ciancia, V.: Freshness and name-restriction in sets of traces with names. In: Hofmann, M. (ed.) FOSSACS 2011. LNCS, vol.\u00a06604, pp. 365\u2013380. Springer, Heidelberg (2011)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-73859-6_15","volume-title":"Algebra and Coalgebra in Computer Science","author":"F. Gadducci","year":"2007","unstructured":"Gadducci, F., Lluch Lafuente, A.: Graphical encoding of a spatial logic for the \u03c0-calculus. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol.\u00a04624, pp. 209\u2013225. Springer, Heidelberg (2007)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-48384-5_17","volume-title":"Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science","author":"A. Galton","year":"1999","unstructured":"Galton, A.: The mereotopology of discrete space. In: Freksa, C., Mark, D.M. (eds.) COSIT 1999. LNCS, vol.\u00a01661, pp. 251\u2013266. Springer, Heidelberg (1999)"},{"issue":"1-3","key":"18_CR17","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0304-3975(02)00701-6","volume":"305","author":"A. Galton","year":"2003","unstructured":"Galton, A.: A generalized topological view of motion in discrete space. Theoretical Computer Science\u00a0305(1-3), 111 (2003)","journal-title":"Theoretical Computer Science"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: Spatial logic + temporal logic =? In: Aiello, et al. (eds.) [2], pp. 497\u2013564","DOI":"10.1007\/978-1-4020-5587-4_9"},{"key":"18_CR19","unstructured":"Kovalevsky, V.A.: Geometry of Locally Finite Spaces: Computer Agreeable Topology and Algorithms for Computer Imagery. House Dr. Baerbel Kovalevski (2008)"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Kremer, P., Mints, G.: Dynamic topological logic. In: Aiello, et al. (eds.) [2], pp. 565\u2013606","DOI":"10.1007\/978-1-4020-5587-4_10"},{"key":"18_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-28729-9_17","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Kurz","year":"2012","unstructured":"Kurz, A., Suzuki, T., Tuosto, E.: On nominal regular languages with binders. In: Birkedal, L. (ed.) FOSSACS 2012. LNCS, vol.\u00a07213, pp. 255\u2013269. Springer, Heidelberg (2012)"},{"issue":"8","key":"18_CR22","doi-asserted-by":"publisher","first-page":"621","DOI":"10.2307\/2321290","volume":"86","author":"A. Rosenfeld","year":"1979","unstructured":"Rosenfeld, A.: Digital topology. The American Mathematical Monthly\u00a086(8), 621\u2013630 (1979)","journal-title":"The American Mathematical Monthly"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"Smyth, M.B., Webster, J.: Discrete spatial models. In: Aiello, et al. (eds.) [2], pp. 713\u2013798","DOI":"10.1007\/978-1-4020-5587-4_12"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Bezhanishvili, G.: Modal logics of space. In: Handbook of Spatial Logics, pp. 217\u2013298 (2007)","DOI":"10.1007\/978-1-4020-5587-4_5"},{"issue":"3","key":"18_CR25","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1016\/0734-189X(89)90147-3","volume":"48","author":"T. Yung Kong","year":"1989","unstructured":"Yung Kong, T., Rosenfeld, A.: Digital topology: Introduction and survey. Computer Vision, Graphics, and Image Processing\u00a048(3), 357\u2013393 (1989)","journal-title":"Computer Vision, Graphics, and Image Processing"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44602-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T17:15:10Z","timestamp":1558977310000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44602-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44602-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}