J. Banâtre, P. Fradet, and D. L. Métayer, Gamma and the chemical reaction model: Fifteen years after Multiset processing: mathematical, computer science, and molecular computing points of view, pp.17-44, 2001.

J. Banâtre, P. Fradet, and Y. Radenac, Programming self-organizing systems with the higher-order chemical language, International Journal of Unconventional Computing, vol.3, issue.3, p.161, 2007.

P. Fradet and D. L. Métayer, Structured Gamma, Science of Computer Programming, vol.31, issue.2-3, pp.263-289, 1998.
DOI : 10.1016/S0167-6423(97)00023-3

URL : http://doi.org/10.1016/s0167-6423(97)00023-3

G. Paun, Computing with membranes, Journal of Computer and System Sciences, vol.1, issue.61, pp.108-143, 2000.

A. De-hon, J. Giavitto, and F. Gruau, Computing Media and Languages for Space-Oriented Computation, ser, Dagsthul Seminar Proceedings, no. 06361. Dagsthul, pp.3-8, 2006.

J. Giavitto and O. Michel, Data Structure as Topological Spaces, Proceedings of the 3nd International Conference on Unconventional Models of Computation UMC02, pp.137-150, 2002.
DOI : 10.1007/3-540-45833-6_12

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.9083

J. Giavitto, O. Michel, J. Cohen, and A. Spicher, Computations in Space and Space in Computations, Unconventional Programming Paradigms (UPP'04), ser, pp.137-152, 2005.
DOI : 10.1007/11527800_11

H. Abelson, D. Allen, D. Coore, C. Hanson, G. Homsy et al., Amorphous computing, CACM: Communications of the ACM, vol.43, 2000.
DOI : 10.1002/(sici)1099-0526(200001/02)5:3<22::aid-cplx5>3.3.co;2-a

B. Aksak, P. S. Bhat, J. Campbell, M. Derosa, S. Funiak et al., Claytronics, Proceedings of the 3rd international conference on Embedded networked sensor systems , SenSys '05, p.299, 2005.
DOI : 10.1145/1098918.1098964

G. T. Leavens, Fields in physics are like curried functions or physics for functional programmers, 1994.

A. Tucker, An Abstract Approach to Manifolds, The Annals of Mathematics, vol.34, issue.2, pp.191-243, 1933.
DOI : 10.2307/1968201

J. Munkres, Elements of Algebraic Topology, 1984.

J. Giavitto and O. Michel, The topological structures of membrane computing, Fundamenta Informaticae, vol.49, pp.107-129, 2002.

J. Giavitto, Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems, 14th International Conference on Rewriting Technics and Applications (RTA'03), ser. LNCS, pp.208-233, 2003.
DOI : 10.1007/3-540-44881-0_16

J. Giavitto and A. Spicher, Topological rewriting and the geometrization of programming, Physica D: Nonlinear Phenomena, vol.237, issue.9, pp.1302-1314, 2008.
DOI : 10.1016/j.physd.2008.03.039

URL : https://hal.archives-ouvertes.fr/hal-00340126

N. Dershowitz, J. Hsiang, N. Josephson, and D. Plaisted, Associativecommutative rewriting, Proceedings of the Eighth international joint conference on Artificial intelligence, pp.940-944, 1983.

M. Berger and J. Oliger, Adaptive mesh refinement for hyperbolic partial differential equations, Journal of Computational Physics, vol.53, issue.3, pp.484-512, 1984.
DOI : 10.1016/0021-9991(84)90073-1

A. Hoekstra, E. Lorenz, J. Falcone, and B. Chopard, Towards a Complex Automata Framework for Multi-scale Modeling: Formalism and the Scale Separation Map, Computational Science?ICCS, pp.922-930, 2007.
DOI : 10.1007/978-3-540-72584-8_121

J. Castellanos, G. Paun, and A. Rodriguez-paton, Computing with membranes: P systems with worm-objects, Proceedings Seventh International Symposium on String Processing and Information Retrieval. SPIRE 2000, pp.65-74, 2000.
DOI : 10.1109/SPIRE.2000.878181

C. Martín-vide, G. Paun, J. Pazos, and A. Rodríguez-patón, Tissue P systems, Theoretical Computer Science, vol.296, issue.2, pp.295-326, 2003.
DOI : 10.1016/S0304-3975(02)00659-X

R. Barbuti, A. Maggiolo-schettini, P. Milazzo, G. Pardini, and L. Tesei, Spatial P systems, Natural Computing, vol.61, issue.1, pp.3-16, 2011.
DOI : 10.1007/s11047-010-9187-z

J. Giavitto and O. Michel, Pattern-matching and rewriting rules for group indexed data structures, ACM Sigplan Workshop RULE'02, pp.55-66, 2002.

C. Tschudin, Fraglets-a metabolistic execution model for communication protocols, Proc. 2nd Annual Symposium on Autonomous Intelligent Networks and Systems (AINS), pp.1-6, 2003.

J. Giavitto, D. D. Vito, and J. Sansonnet, A data parallel java client-server architecture for data field computations over ???n, EuroPar'98 Parallel Processing, ser. LNCS, p.742, 1998.
DOI : 10.1007/BFb0057925

J. Giavitto, O. Michel, J. Sansonnet, I. Lncs, and R. H. Takayasu, Group-based fields, Parallel Symbolic Languages and Systems (International Workshop PSLS'95), ser, pp.209-215, 1995.
DOI : 10.1007/BFb0023063

J. Giavitto, Rapport scientifique en vue d'obtenir l'habilitation à diriger des recherches, 1998.

F. Bergeron, G. Labelle, and P. Leroux, Combinatorial species and treelike structures, ser. Encyclopedia of mathematics and its applications, pp.0-521, 1997.

C. B. Jay, A semantics for shape, Science of Computer Programming, vol.25, issue.2-3, pp.251-283, 1995.
DOI : 10.1016/0167-6423(95)00015-1

J. Jeuring and P. Jansson, Polytypic programming, Lecture Notes in Computer Science, vol.1129, pp.68-114, 1996.
DOI : 10.1007/3-540-61628-4_3

A. Spicher, O. Michel, and J. Giavitto, Declarative Mesh Subdivision Using Topological Rewriting in MGS, Int. Conf. on Graph Transformations (ICGT) 2010, ser. LNCS, pp.298-313, 2010.
DOI : 10.1007/978-3-642-15928-2_20

URL : https://hal.archives-ouvertes.fr/hal-00820206

H. Ehrig, M. Pfender, and H. J. Schneider, Graph-grammars: An algebraic approach, 14th Annual Symposium on Switching and Automata Theory (swat 1973), 1973.
DOI : 10.1109/SWAT.1973.11

J. Raoult and F. Voisin, Set-theoretic graph rewriting, Proceedings of the International Workshop on Graph Transformations in Computer Science, pp.312-325, 1994.
DOI : 10.1007/3-540-57787-4_20

URL : https://hal.archives-ouvertes.fr/inria-00074892

J. Giavitto, O. Michel, and A. Spicher, Software-Intensive Systems and New Computing Paradigms, ser Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems, LNCS, vol.5380, pp.235-254, 2008.

E. T. Serie and V. , On the mathematical structure of a large class of physicial theories, pp.48-56, 1972.

P. Buneman, S. Naqvi, V. Tannen, and L. Wong, Principles of programming with complex objects and collection types, Theoretical Computer Science, vol.149, issue.1, pp.3-48, 1995.
DOI : 10.1016/0304-3975(95)00024-Q

P. Barbier-de-reuille, I. Bohn-courseau, K. Ljung, H. Morin, N. Carraro et al., Computer simulations reveal properties of the cell-cell signaling network at the shoot apex in Arabidopsis, pp.1627-1632, 1627.
URL : https://hal.archives-ouvertes.fr/hal-00023247

A. Spicher, O. Michel, and J. Giavitto, Understanding the Dynamics of Biological Systems: Lessons Learned from Integrative Systems Biology, 2011.

O. Michel, A. Spicher, and J. Giavitto, Rule-based programming for integrative biological modeling, Natural Computing, vol.14, issue.3, pp.865-889, 2008.
DOI : 10.1007/s11047-008-9105-9

URL : https://hal.archives-ouvertes.fr/hal-00644440

A. Spicher, O. Michel, and J. Giavitto, Understanding the dynamics of biological systems Interaction-based simulations for Integrative Spatial Systems Biology, pp.195-231, 2011.