1. M. Aiello. Spatial Reasoning: Theory and Practice. PhD thesis, Institute of Logic, Language and Computation, University of Amsterdam, 2002.
2. M. Aiello, I. Pratt-Hartmann, and J. van Benthem, editors. Handbook of Spatial Logics. Springer, 2007.
3. C. Baier and J.P. Katoen. Principles of model checking. MIT Press, 2008.
4. M. Bojanczyk, B. Klin, and S. Lasota. Automata with group actions. In LICS, pages 355{364. IEEE Computer Society, 2011.
5. L. Bortolussi, J. Hillston, D. Latella, and M. Massink. Continuous approximation of collective system behaviour: A tutorial. Perform. Eval., 70(5):317 { 349, 2013.
6. L. Caires and L. Cardelli. A spatial logic for concurrency (part I). Information and Computation, 186(2):194{235, 2003.
7. L. Cardelli, P. Gardner, and G. Ghelli. A spatial logic for querying graphs. In ICALP, volume 2380 of LNCS, pages 597{610. Springer, 2002.
8. L. Cardelli and A.D. Gordon. Anytime, anywhere: Modal logics for mobile ambients. In POPL, pages 365{377. ACM, 2000.
9. A. Chaintreau, J. Le Boudec, and N. Ristanovic. The age of gossip: Spatial mean eld regime. SIGMETRICS, pages 109{120, New York, NY, USA, 2009. ACM.
10. Vincenzo Ciancia, Diego Latella, Michele Loreti, and Mieke Massink. Specifying and verifying properties of space - extended version. CoRR, abs/1406.6393, 2014.
11. R. De Nicola, G.L. Ferrari, and R. Pugliese. Klaim: A kernel language for agents interaction and mobility. IEEE Trans. Software Eng., 24(5):315{330, 1998.
12. A. Del Bimbo, E. Vicario, and D. Zingoni. Symbolic description and visual querying of image sequences using spatio-temporal logic. IEEE Trans. Knowl. Data Eng., 7(4):609{622, 1995.
13. M.P. Fiore and S. Staton. Comparing operational models of name-passing process calculi. Information and Computation, 204(4):524{560, 2006.
14. M.J. Gabbay and V. Ciancia. Freshness and name-restriction in sets of traces with names. In FOSSACS, volume 6604 of LNCS, pages 365{380. Springer, 2011.
15. F. Gadducci and A. Lluch-Lafuente. Graphical encoding of a spatial logic for the pi -calculus. In CALCO, volume 4624 of LNCS, pages 209{225. Springer, 2007.
16. A. Galton. The mereotopology of discrete space. In COSIT, volume 1661 of LNCS, pages 251{266. Springer, 1999.
17. A. Galton. A generalized topological view of motion in discrete space. Theoretical Computer Science, 305(1{3):111 { 134, 2003.
18. R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev. Spatial logic + temporal logic = ? In Aiello et al. [2], pages 497{564.
19. V.A. Kovalevsky. Geometry of Locally Finite Spaces: Computer Agreeable Topology and Algorithms for Computer Imagery. House Dr. Baerbel Kovalevski, 2008.
20. P. Kremer and G. Mints. Dynamic topological logic. In Aiello et al. [2], pages 565{606.
21. A. Kurz, T. Suzuki, and E. Tuosto. On nominal regular languages with binders. In FoSSaCS, volume 7213 of LNCS, pages 255{269. Springer, 2012.
22. A. Rosenfeld. Digital topology. The American Mathematical Monthly, 86(8):621{ 630, 1979.
23. M.B. Smyth and J. Webster. Discrete spatial models. In Aiello et al. [2], pages 713{798.
24. J. van Benthem and G. Bezhanishvili. Modal logics of space. In Handbook of Spatial Logics, pages 217{298. 2007.
25. T. Yung Kong and A. Rosenfeld. Digital topology: Introduction and survey. Computer Vision, Graphics, and Image Processing, 48(3):357{393, 1989.