M. Aiello, Spatial Reasoning: Theory and Practice, 2002.

C. Baier and J. P. Katoen, Principles of model checking, 2008.

M. Bojanczyk, B. Klin, and S. Lasota, Automata with Group Actions, 2011 IEEE 26th Annual Symposium on Logic in Computer Science, pp.355-364, 2011.
DOI : 10.1109/LICS.2011.48
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.1795

L. Bortolussi, J. Hillston, D. Latella, and M. Massink, Continuous approximation of collective system behaviour: A tutorial, Performance Evaluation, vol.70, issue.5, pp.317-349, 2013.
DOI : 10.1016/j.peva.2013.01.001

L. Caires and L. Cardelli, A spatial logic for concurrency (part I) Information and Computation, pp.194-235, 2003.
DOI : 10.1007/3-540-45694-5_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.1530

L. Cardelli, P. Gardner, and G. Ghelli, A Spatial Logic for Querying Graphs, ICALP, pp.597-610, 2002.
DOI : 10.1007/3-540-45465-9_51
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.9299

L. Cardelli and A. D. Gordon, Anytime, anywhere, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, pp.365-377, 2000.
DOI : 10.1145/325694.325742

A. Chaintreau, J. L. Boudec, and N. Ristanovic, The age of gossip, Proceedings of the eleventh international joint conference on Measurement and modeling of computer systems, SIGMETRICS '09, pp.109-120, 2009.
DOI : 10.1145/1555349.1555363

V. Ciancia, D. Latella, M. Loreti, and M. Massink, Specifying and verifying properties of space -extended version. CoRR, abs/1406, 2014.
DOI : 10.1007/978-3-662-44602-7_18
URL : https://hal.inria.fr/hal-01402045/document

R. De-nicola, G. L. Ferrari, and R. Pugliese, KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.315-330, 1998.
DOI : 10.1109/32.685256

A. D. Bimbo, E. Vicario, and D. Zingoni, Symbolic description and visual querying of image sequences using spatio-temporal logic, IEEE Transactions on Knowledge and Data Engineering, vol.7, issue.4, pp.609-622, 1995.
DOI : 10.1109/69.404033

M. P. Fiore and S. Staton, Comparing operational models of name-passing process calculi, Information and Computation, vol.204, issue.4, pp.524-560, 2006.
DOI : 10.1016/j.ic.2005.08.004

M. J. Gabbay and V. Ciancia, Freshness and Name-Restriction in Sets of Traces with Names, FOSSACS, pp.365-380, 2011.
DOI : 10.1007/978-3-642-19805-2_25

F. Gadducci and A. Lluch-lafuente, Graphical encoding of a spatial logic for the pi -calculus, CALCO, pp.209-225, 2007.

A. Galton, The Mereotopology of Discrete Space, In COSIT LNCS, vol.1661, pp.251-266, 1999.
DOI : 10.1007/3-540-48384-5_17

A. Galton, A generalized topological view of motion in discrete space, Theoretical Computer Science, vol.305, issue.1-3, pp.111-134, 2003.
DOI : 10.1016/S0304-3975(02)00701-6

R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev, Spatial Logic + Temporal Logic = ?, Aiello et al. [2], pp.497-564
DOI : 10.1007/978-1-4020-5587-4_9

V. A. Kovalevsky, Geometry of Locally Finite Spaces: Computer Agreeable Topology and Algorithms for Computer Imagery. House Dr, Baerbel Kovalevski, 2008.

P. Kremer and G. Mints, Dynamic topological logic, Aiello et al. [2], pp.565-606
DOI : 10.1016/j.apal.2004.06.004
URL : http://doi.org/10.1016/j.apal.2004.06.004

A. Kurz, T. Suzuki, and E. Tuosto, On Nominal Regular Languages with Binders, FoSSaCS, pp.255-269, 2012.
DOI : 10.1007/978-3-642-28729-9_17

A. Rosenfeld, Digital Topology, The American Mathematical Monthly, vol.86, issue.8, pp.621-630, 1979.
DOI : 10.2307/2321290

M. B. Smyth and J. Webster, Discrete Spatial Models, Aiello et al. [2], pp.713-798
DOI : 10.1007/978-1-4020-5587-4_12

J. Van-benthem and G. Bezhanishvili, Modal Logics of Space, Handbook of Spatial Logics, pp.217-298, 2007.
DOI : 10.1007/978-1-4020-5587-4_5

T. , Y. Kong, and A. Rosenfeld, Digital Topology, Computer Vision, Graphics, and Image Processing, pp.357-393, 1989.
DOI : 10.2307/2321290