J. Beal and J. Bachrach, Infrastructure for Engineered Emergence on Sensor/Actuator Networks, IEEE Intelligent Systems, vol.21, issue.2, 2006.
DOI : 10.1109/MIS.2006.29

M. Lewis, J. Jacobson, C. Based, and . Games, Game engines in scientific research, 2002.

T. Susi, M. Johannesson, and P. Backlund, Serious games ? an overview, 2007.

T. Hussain, B. Roberts, C. Bowers, J. Cannon-bowers, E. Menaker et al., Designing and developing effective training games for the US Navy, InterserviceIndustry Training, 2009.

J. Beal, S. Dulman, K. Usbeck, M. Viroli, and N. Correll, Organizing the Aggregate, 1202.
DOI : 10.4018/978-1-4666-2092-6.ch016

A. Rao and M. Georgeff, BDI agents: From theory to practice, Proceedings of the first international conference on multi-agent systems (ICMAS-95), pp.312-319, 1995.

W. C. Regli, I. Mayk, C. J. Dugan, J. B. Kopena, R. N. Lass et al., Development and Specification of a Reference Model for Agent-Based Systems, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), vol.39, issue.5, pp.572-596, 2009.
DOI : 10.1109/TSMCC.2009.2020507

D. N. Nguyen, K. Usbeck, W. M. Mongan, C. T. Cannon, R. N. Lass et al., A Methodology for Developing an Agent Systems Reference Architecture, 11th International Workshop on Agent-oriented Software Engineering, 2010.
DOI : 10.1007/978-3-540-71103-2_1

E. Sklar, NetLogo, a Multi-agent Simulation Environment, Artificial Life, vol.13, issue.3, pp.303-311, 2007.
DOI : 10.1162/106454602753694765

J. Giavitto, O. Michel, J. Cohen, and A. Spicher, Computations in Space and Space in Computations, 2004.
DOI : 10.1007/11527800_11

K. Usbeck and J. Beal, An agent framework for agent societies, Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11, SPLASH '11 Workshops, 2011.
DOI : 10.1145/2095050.2095082

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

J. Bachrach, J. Beal, and J. Mclurkin, Composable continuous-space programs for robotic swarms, Neural Computing and Applications, pp.825-847, 2010.
DOI : 10.1007/s00521-010-0382-8

I. Couzin, J. Krause, N. Franks, and S. Levin, Effective leadership and decision-making in animal groups on the move, Nature, vol.181, issue.7025, pp.513-516, 2005.
DOI : 10.1016/j.tree.2004.07.001

C. Agon, J. Bresson, and M. Stroppa, OMChroma: Compositional Control of Sound Synthesis, Computer Music Journal, vol.35, issue.2, 2011.
DOI : 10.2307/3680913

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

G. Assayag, Visual Programming in Music, Proceedings of the International Computer Music Conference, 1995.
URL : https://hal.archives-ouvertes.fr/hal-01105457

G. Assayag, C. Rueda, M. Laurson, C. Agon, and O. Delerue, Computer-Assisted Composition at IRCAM: From PatchWork to OpenMusic, Computer Music Journal, vol.23, issue.3, 1999.
DOI : 10.2307/3679811

M. A. Baalman, Spatial Composition Techniques and Sound Spatialization Technologies, Organised Sound, vol.15, issue.3, 2010.
DOI : 10.1017/s1355771810000245

A. J. Berkhout, D. De-vries, D. , and P. Vogel, Acoustic control by wave field synthesis, The Journal of the Acoustical Society of America, vol.93, issue.5, 1993.
DOI : 10.1121/1.405852

R. Boulanger, The Csound Book: Perspectives in Software Synthesis , Sound Design, Signal Processing,and Programming, 2000.

J. Bresson and C. Agon, SDIF Sound Description Data Representation and Manipulation in Computer-Assisted Composition, Proceedings of the International Computer Music Conference, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01161261

J. Bresson, C. Agon, and G. Assayag, Visual Lisp/CLOS programming in OpenMusic, Higher-Order and Symbolic Computation, 2009.
DOI : 10.1007/s10990-009-9044-x

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

J. Bresson, C. Agon, and G. Assayag, OpenMusic. Visual Programming Environment for Music Composition, Analysis and Research, Proceedings of ACM MultiMedia, 2011.
DOI : 10.1145/2072298.2072434

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

J. Bresson and M. Schumacher, Representation and Interchange of Sound Spatialization Data for Compositional Applications, Proceedings of the Inter-national Computer Music Conference, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01169015

A. G. Cohn and J. Renz, Qualitative Spatial Reasoning, Handbook of Knowledge Representation, 2007.

J. Daniel, Représentation de champs acoustiques, applicationsàapplications`applicationsà la transmission etàet`età la reproduction de scènes sonores complexes dans un contexte multimedia

A. De-hon, J. Giavitto, and F. Gruau, Computing Media and Languages for Space-Oriented Computation, Dagsthul Seminar Proceedings, Dagsthul, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00343088

O. Delerue, Spatialisation du son et programmation par contraintes : Le système MusicSpace, 2004.

O. Delerue and C. Agon, OpenMusic + MusicSpace = OpenSpace, 1999.

M. Geier, M. , J. Ahrens, and S. Spors, The SoundScape Renderer: A Unified Spatial Audio Reproduction Framework for Arbitrary Rendering Methods, AES 124 th Convention, 2008.

M. A. Harley, Space and Spatialization in Contemporary Music: History and Analysis, Ideas and Implementations, 1994.

C. Jaksjø, Architecture as Virtual Music (Re-Actualizing Zonnestraal), The OM Composers Book. 2, Editions Delatour/Ircam, 2008.

L. Jot and O. Warusfel, A Real-Time Spatial Sound Processor for Music and Virtual Reality Applications, Proceedings of International Computer Music Conference, 1995.
URL : https://hal.archives-ouvertes.fr/hal-01106971

D. Kim-boyle, Spectral Spatialization -An Overview, Proceedings of the International Computer Music Conference, 2008.

F. Lopez-lezcano, A Dynamic Spatial Locator ugen for CLM, Proceedings of the Sound and Music Computing Conference, 2008.

A. Mcleran, C. Roads, B. L. Sturm, and J. J. Shynk, Granular Sound Spatialization Using Dictionary-Based Methods, Proceedings of the Sound and Music Computing Conference, 2008.

G. Nouno, Some Considerations on Brian Ferneyhough's Musical Language through His Use of CAC. Part II ? Spatialization as a Musical Parameter, The OM Composers Book. 2, Editions Delatour/Ircam, 2008.

G. Nouno and C. Agon, Contrôle de la spatialisation comme paramètre musical Actes des Journées dInformatique Musicale Contemporary Trends in the Use of Space in Electroacoustic Music, Organised Sound, vol.13, issue.1, 2002.

N. Peters, S. Ferguson, and S. Mcadams, Towards a Spatial Sound Description Interchange Format (SpatDIF), Canadian Acoustics, vol.35, issue.3, 2007.
DOI : 10.1162/comj_a_00167

N. Peters, T. Lossius, J. Schacher, P. Baltazar, C. Bascou et al., A Stratified Approach for Sound Spatialization, Proceedings of the Sound and Music Computing Conference, 2009.

N. Peters, G. Marentakis, and S. Mcadams, Current Technologies and Compositional Practices for Spatialization: A Qualitative and Quantitative Analysis, Computer Music Journal, vol.35, issue.1, 2011.
DOI : 10.1109/TSA.2004.838533

L. Pottier, Dynamical Spatialisation of sound HOLOPHON: a graphical and algorithmical editor for ?1, Proceedings of the International Conference on Digital Audio Effects, 2008.

M. Puckette, Combining Event and Signal Processing in the MAX Graphical Programming Environment, Computer Music Journal, vol.15, issue.3, 1991.
DOI : 10.2307/3680767

V. Pulkki, Virtual sound source positioning using vector base amplitude panning, Journal of the Audio Engineering Society, vol.45, issue.6, 1997.

J. C. Schacher and P. Kocher, Ambisonics spatialisation Tools for Max/MSP, Proceedings of the International Computer Music Conference, 2006.

N. Schnell, A. Röbel, D. Schwarz, G. Peeters, and R. Borghesi, MuBu & Friends -Assembling Tools for Content Based Real-Time Interactive Audio Processing in Max/MSP, Proceedings of the International Computer Music Conference, 2009.

B. Schottstaedt, CLM: Music V Meets Common Lisp, Computer Music Journal, vol.18, issue.2, 1994.
DOI : 10.2307/3680441

M. Schumacher and J. Bresson, Spatial Sound Synthesis in Computer- Aided Composition, Organised Sound, vol.15, issue.3, 2010.
DOI : 10.1017/s1355771810000300

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

M. Schumacher and J. Bresson, Compositional Control of Periphonic Sound Spatialization, 2nd International Symposium on Ambisonics and Spherical Acoustics, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01161239

D. Schwartz and M. Wright, Extensions and Applications of the SDIF Sound Description Interchange Format, Proceedings of the International Computer Music Conference, 2000.

E. Stefani and K. Lauke, Music, Space and Theatre: Site-specific approaches to multichannel spatialisation, Organised Sound, vol.15, issue.03, 2010.
DOI : 10.1017/S1355771897009059

T. Todoroff, C. Traube, and J. M. Ledent, NeXTSTEP Graphical Interfaces to Control Sound Processing and Spatialization Instruments, Proceedings of the International Computer Music Conference, 1997.

D. Topper, M. Burtner, and S. Serafin, Spatio-Operational Spectral (S.O.S.) Synthesis, Proceedings of the International Conference on Digital Audio Effects, 2002.

S. Wilson, Spatial Swarm Granulation, Proceedings of the International Computer Music Conference, 2008.

M. Wright, Open Sound Control: an enabling technology for musical networking, Organised Sound, vol.10, issue.03, 2005.
DOI : 10.1017/S1355771805000932

J. Beal and R. Schantz, A spatial computing approach to distributed algorithms, 45th Asilomar Conference on Signals, Systems, and Computers, 2010.

N. Lynch, Distributed Algorithms, 1996.

J. Bachrach, J. Beal, and J. Mclurkin, Composable continuous-space programs for robotic swarms, Neural Computing and Applications, vol.12, issue.2, pp.825-847, 2010.
DOI : 10.1007/s00521-010-0382-8

J. Bacharach and J. Beal, Building spatial computers, 2007.

N. Santoro, Design and Analysis of Distributed Algorithms, 2007.
DOI : 10.1002/0470072644

J. Beal and J. Bachrach, Infrastructure for Engineered Emergence on Sensor/Actuator Networks, IEEE Intelligent Systems, vol.21, issue.2, pp.10-19, 2006.
DOI : 10.1109/MIS.2006.29

J. Beal, S. Dulman, K. Usbeck, M. Viroli, and N. Correll, Organizing the Aggregate, Formal and Practical Aspects of Domain-Specific Languages: Recent Developments IGI Global, 2012.
DOI : 10.4018/978-1-4666-2092-6.ch016

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

R. Milner, Communicating and Mobile Systems: The ?-calculus, 1999.

R. Milner, Pure bigraphs: Structure and dynamics, Information and Computation, vol.204, issue.1, pp.60-122, 2006.
DOI : 10.1016/j.ic.2005.07.003

URL : http://doi.org/10.1016/j.ic.2005.07.003

M. Worboys, Event???oriented approaches to geographic phenomena, International Journal of Geographical Information Science, vol.4, issue.1, pp.1-28, 2005.
DOI : 10.1559/152304001782173718

M. Duckham and F. Reitsma, Decentralized environmental simulation and feedback in robust geosensor networks, Computers, Environment and Urban Systems, vol.33, issue.4, pp.256-268, 2009.
DOI : 10.1016/j.compenvurbsys.2009.01.003

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

S. Dolev and N. Tzachar, Empire of colonies: Self-stabilizing and self-organizing distributed algorithm, Theoretical Computer Science, vol.410, issue.6-7, pp.514-532, 2009.
DOI : 10.1016/j.tcs.2008.10.006

J. Hightower and G. Boriello, Location systems for ubiquitous computing, Computer, vol.34, issue.8, pp.57-66, 2001.
DOI : 10.1109/2.940014

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

M. Worboys and M. Duckham, GIS: A Computing Perspective, Boca Raton, 2004.

H. Karl and A. Willig, Protocols and Architectures for Wireless Sensor Networks, 2005.
DOI : 10.1002/0470095121

M. Sadeq and M. Duckham, Decentralized area computation for spatial regions, Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, GIS '09, pp.432-435, 2009.
DOI : 10.1145/1653771.1653837

M. Duckham, D. Nussbaum, J. Sack, and N. Santoro, Efficient, Decentralized Computation of the Topology of Spatial Regions, IEEE Transactions on Computers, vol.60, issue.8, pp.1100-1113, 2011.
DOI : 10.1109/TC.2010.177

M. J. Sadeq and M. Duckham, Effect of Neighborhood on In-Network Processing in Sensor Networks, Geographic Information Science no. 5266 in Lecture Notes in Computer Science, pp.133-150, 2008.
DOI : 10.1007/978-3-540-87473-7_9

A. Galton, Fields and Objects in Space, Time, and Space-time, Spatial Cognition & Computation, vol.67, issue.3, pp.39-68, 2004.
DOI : 10.1023/A:1017948522031

U. Willensky, Center for Connected Learning and Computer- Based Modeling, 1999.

K. Stanley and R. Miikkulainen, A Taxonomy for Artificial Embryogeny, Artificial Life, vol.13, issue.1, pp.93-130, 2003.
DOI : 10.1002/cne.902460104

G. S. Hornby and J. B. Pollack, Creating High-Level Components with a Generative Representation for Body-Brain Evolution, Artificial Life, vol.27, issue.3, pp.223-246, 2002.
DOI : 10.1162/106454601300328034

D. Floreano and L. Keller, Evolution of Adaptive Behaviour in Robots by Means of Darwinian Selection, PLoS Biology, vol.417, issue.1, p.1000292, 2010.
DOI : 10.1371/journal.pbio.1000292.s007

J. C. Bongard and R. Pfeifer, Repeated structure and dissociation of genotypic and phenotypic complexity in artificial ontogeny, Proceedings of the 3rd Genetic and Evolutionary Computation Conference (GECCO)

G. S. Hornby, H. Lipson, and J. B. Pollack, Generative representations for the automated design of modular physical robots, IEEE Transactions on Robotics and Automation, vol.19, issue.4, pp.703-719, 2003.
DOI : 10.1109/TRA.2003.814502

M. Komosinski and A. Rotaru-varga, Comparison of Different Genotype Encodings for Simulated Three-Dimensional Agents, Artificial Life, vol.4, issue.4, pp.395-418, 2001.
DOI : 10.1162/106454601300328034

J. B. Pollack, H. Lipson, G. Hornby, and P. Funes, Three Generations of Automatically Designed Robots, Artificial Life, vol.7, issue.3, pp.215-223, 2001.
DOI : 10.1126/science.286.5439.398

L. Spector, J. Klein, and M. Feinstein, Division blocks and the open-ended evolution of development, form, and behavior, Proceedings of the 9th annual conference on Genetic and evolutionary computation , GECCO '07, pp.316-323, 2007.
DOI : 10.1145/1276958.1277019

Y. Shim and C. Kim, Generating flying creatures using body-brain co-evolution, Proceedings of the Symposium on Computer Animation (part of the 30th SIGGRAPH), ser. SCA '03. Aire-la-Ville, pp.276-285, 2003.

C. Paul, Morphological computation, Robotics and Autonomous Systems, vol.54, issue.8, pp.619-630, 2006.
DOI : 10.1016/j.robot.2006.03.003

K. Matsushita, M. Lungarella, C. Paul, and H. Yokoi, Locomoting with Less Computation but More Morphology, Proceedings of the 2005 IEEE International Conference on Robotics and Automation, pp.2008-2013, 2005.
DOI : 10.1109/ROBOT.2005.1570408

D. Lobo, Evolutionary development based on genetic regulatory models for behavior-finding, 2010.

R. Pfeifer, F. Iida, and G. Gomez, Morphological computation for adaptive behavior and cognition, International Congress Series, vol.1291, pp.22-29, 2006.
DOI : 10.1016/j.ics.2005.12.080

A. J. Rader, C. Chennubhotla, L. Yang, and I. Bahar, The Gaussian Network Model: theory and applications

M. Schliwa and G. Woehlke, Molecular motors, Nature, vol.34, issue.6933, pp.759-765, 2003.
DOI : 10.1038/nature01601

R. D. Vale and R. A. Milligan, The Way Things Move: Looking Under the Hood of Molecular Motor Proteins, Science, vol.288, issue.5463, pp.88-95, 2000.
DOI : 10.1126/science.288.5463.88

J. D. Fernández and F. J. Vico, Automating the search of molecular motor templates by evolutionary methods, Biosystems, vol.106, issue.2-3, pp.82-93, 2011.
DOI : 10.1016/j.biosystems.2011.07.002

Y. Togashi and A. S. Mikhailov, Nonlinear relaxation dynamics in elastic networks and design principles of molecular machines, Proceedings of the National Academy of Sciences, vol.104, issue.21, pp.8697-8702, 2007.
DOI : 10.1073/pnas.0702950104

M. Lu, The Role of Shape in Determining Molecular Motions, Biophysical Journal, vol.89, issue.4, pp.2395-2401, 2005.
DOI : 10.1529/biophysj.105.065904

J. Su, Protein Unfolding Behavior Studied by Elastic Network Model, Biophysical Journal, vol.94, issue.12, pp.4586-4596, 2008.
DOI : 10.1529/biophysj.107.121665

S. Kundu, D. C. Sorensen, G. N. Phillips, and J. , Automatic domain decomposition of proteins by a Gaussian Network Model, Proteins: Structure, Function, and Bioinformatics, vol.4, issue.4, pp.725-733, 2004.
DOI : 10.1002/prot.20268

L. W. Yang and I. Bahar, Coupling between Catalytic Site and Collective Dynamics: A Requirement for Mechanochemical Activity of Enzymes, Structure, vol.13, issue.6, pp.893-904, 2005.
DOI : 10.1016/j.str.2005.03.015

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

URL : http://www.dtic.mil/get-tr-doc/pdf?AD=ADA121307

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, ch. Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems, 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, 2006.
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, J. Giavitto, A. Spicher, O. Michel et al., Rule-based programming for integrative biological modeling, Natural Computing, vol.14, issue.3, pp.865-889, 2000.
DOI : 10.1007/s11047-008-9105-9

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

T. Baumgartner, S. Fekete, T. Kamphans, A. Kröller, and M. Pagel, Hallway Monitoring: Distributed Data Processing with Wireless Sensor Networks, 2010.
DOI : 10.1007/978-3-642-17520-6_9

URL : http://arxiv.org/abs/1009.4870

J. Beal and J. Bachrach, Infrastructure for Engineered Emergence on Sensor/Actuator Networks, IEEE Intelligent Systems, vol.21, issue.2, pp.10-19, 2006.
DOI : 10.1109/MIS.2006.29

J. Beal, S. Dulman, K. Usbeck, M. Viroli, and N. Correll, Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, chapter Organizing the Aggregate: Languages for Spatial Computing, 2012.

T. Bekker, J. Sturm, and B. Eggen, Designing playful interactions for social interaction and physical play. Personal and Ubiquitous Computing, pp.385-396, 2010.

N. Biloria, Emergent technologies and design. eCAADe 23, pp.441-447, 2005.

A. Crabtree, T. Hemmings, and T. Rodden, Pattern-based support for interactive design in domestic settings, Proceedings of the conference on Designing interactive systems processes, practices, methods, and techniques, DIS '02, pp.265-276, 2002.
DOI : 10.1145/778712.778749

T. Delbrück, A. M. Whatley, R. Douglas, K. Eng, K. Hepp et al., A tactile luminous floor for an interactive autonomous space, Robotics and Autonomous Systems, vol.55, issue.6, pp.433-443, 2007.
DOI : 10.1016/j.robot.2007.01.006

S. Dulman, Robotics in Architecture, chapter Practical Programming of Large-Scale Adaptive Systems, 2012.

R. Gummadi, O. Gnawali, and R. Govindan, Macro-programming Wireless Sensor Networks Using Kairos, DCOSS, pp.466-466, 2005.
DOI : 10.1007/11502593_12

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

M. Haeusler, Media facades: history, technology, content. Avedition, 2009.

J. Hubers, Collaborative design in protospace 3.0. Changing roles; new roles, new challenges, 2009.

J. Kulik, W. Heinzelman, and H. Balakrishnan, Negotiation-based protocols for disseminating information in wireless sensor networks, Wireless Networks, vol.8, issue.2/3, pp.169-185, 2002.
DOI : 10.1023/A:1013715909417

M. Mamei and F. Zambonelli, Programming pervasive and mobile computing applications, ACM Transactions on Software Engineering and Methodology, vol.18, issue.4, pp.1-155609
DOI : 10.1145/1538942.1538945

B. Quinn, Textile Futures: Fashion, Design and Technology, 2010.

K. Culik, Variations of the firing squad problem and applications, Information Processing Letters, vol.30, issue.3, pp.153-157, 1989.
DOI : 10.1016/0020-0190(89)90134-8

E. Goto, A minimum time solution of the firing squad synchronization problem, Courses Notes for Applied Mathematics, vol.298, 1962.

A. Grasselli, Synchronization of cellular arrays: The firing squad problem in two dimensions, Information and Control, vol.28, issue.2, pp.113-124, 1975.
DOI : 10.1016/S0019-9958(75)90255-7

G. T. Herman, W. Liu, S. Rowland, and A. Walker, Synchronization of growing cellular arrays, Information and Control, vol.25, issue.2, pp.103-122, 1974.
DOI : 10.1016/S0019-9958(74)90833-X

T. Jiang, The synchronization of nonuniform networks of finite automata, 30th Annual Symposium on Foundations of Computer Science, pp.234-261, 1992.
DOI : 10.1109/SFCS.1989.63506

K. Kobayashi, The firing squad synchronization problem for two-dimensional arrays, Information and Control, vol.34, issue.3, pp.177-197, 1977.
DOI : 10.1016/S0019-9958(77)90273-X

L. Maignan and F. Gruau, Integer Gradient for Cellular Automata: Principle and Examples, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, pp.321-325, 2008.
DOI : 10.1109/SASOW.2008.52

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

L. Maignan and F. Gruau, A 1D CELLULAR AUTOMATON THAT MOVES PARTICLES UNTIL REGULAR SPATIAL PLACEMENT, Parallel Processing Letters, vol.19, issue.02, pp.315-331, 2009.
DOI : 10.1142/S0129626409000249

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

L. Maignan and F. Gruau, Convex Hulls on Cellular Automata, ACRI, pp.69-78, 2010.
DOI : 10.1137/0215021

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

L. Maignan and F. Gruau, Gabriel graphs in arbitrary metric space and their cellular automaton for many grids [11] Jacques Mazoyer. A six states minimal time solution to the firing squad synchronization problem, ACM Trans. Auton. Adapt. Syst. Theoretical Computer Science, vol.612, issue.50, pp.1-12, 1987.

M. Minsky, Computation : Finite and Infinite Machines, 1967.

E. Edward and . Moore, Sequential machines, Selected papers, 1964.

K. Noguchi, Simple 8-state minimal time solution to the firing squad synchronization problem, Theoretical Computer Science, vol.314, issue.3, pp.303-334, 2004.
DOI : 10.1016/S0304-3975(03)00425-0

P. Rosenstiehl, J. R. Fiskel, and A. Holliger, INTELLIGENT GRAPHS: NETWORKS OF FINITE AUTOMATA CAPABLE OF SOLVING GRAPH PROBLEMS, 1972.
DOI : 10.1016/B978-1-4832-3187-7.50019-2

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

I. Shinahr, Two- and three-dimensional firing-squad synchronization problems, Information and Control, vol.24, issue.2, pp.163-180, 1974.
DOI : 10.1016/S0019-9958(74)80055-0

URL : http://doi.org/10.1016/s0019-9958(74)80055-0

H. Szwerinski, Time-optimal solution of the firing-squad-synchronization-problem for n-dimensional rectangles with the general at an arbitrary position, Theoretical Computer Science, vol.19, issue.3, pp.305-320, 1982.
DOI : 10.1016/0304-3975(82)90040-8

V. I. Varshavsky, V. B. Marakhovsky, and V. A. Peshansky, Synchronization of interacting automata, Mathematical System Theory, 4 n, pp.212-230, 1969.
DOI : 10.1007/BF01691105

J. Yunès, An intrinsically non minimal-time Minsky-like 6-states solution to the Firing Squad synchronization problem, RAIRO - Theoretical Informatics and Applications, vol.42, issue.1, pp.55-66, 2008.
DOI : 10.1051/ita:2007051

J. Yunès, Known CA synchronizers made insensitive to the initial state of the initiator, JCA, vol.4, issue.2, pp.147-158, 2009.

U. P. Schultz, M. Bordignon, and K. Stoy, Robust and reversible execution of self-reconfiguration sequences, Robotica, vol.38, issue.01, pp.35-57, 2011.
DOI : 10.1163/156855399X01693

M. Bordignon, K. Stoy, and U. P. Schultz, A virtual machine-based approach for fast and flexible reprogramming of modular robots, 2009 IEEE International Conference on Robotics and Automation, pp.4273-4280, 2009.
DOI : 10.1109/ROBOT.2009.5152780

J. Beal, S. Dulman, J. Giavitto, and A. Spicher, Spatial computing workshop 2012 call for papers, 2012.

K. Stoy, D. Brandt, and D. J. Christensen, An Introduction to Self- Reconfigurable Robots, 2010.

E. Østergaard, K. Kassow, R. Beck, and H. Lund, Design of the ATRON lattice-based self-reconfigurable robot, Autonomous Robots, vol.21, issue.2, pp.165-183, 2006.
DOI : 10.1007/s10514-006-8546-1

M. Moghadam, D. Christensen, D. Brandt, and U. Schultz, Towards Python-based DSL languages for self-reconfigurable modular robotics research, 2nd Int. Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob'11), 2011.

E. Yoshida, S. Murata, H. Kurokawa, K. Tomita, and S. Kokaji, A distributed method for reconfiguration of a three-dimensional homogeneous structure A modular self-reconfigurable bipartite robotic system: Implementation and motion planning, Advanced Robotics Autonomous Robots, issue.13 10, pp.363-379, 1999.

Z. Butler and D. Rus, Distributed Planning and Control for Modular Robots with Unit-Compressible Modules, The International Journal of Robotics Research, vol.22, issue.9, pp.699-715, 2003.
DOI : 10.1177/02783649030229002

M. D. Rosa, S. Goldstein, P. Lee, J. Campbell, and P. Pillai, Scalable shape sculpting via hole motion: Motion planning in lattice-constrained modular robots, Proc. of the 2006 IEEE Int. Conf. on Robotics and Automation (ICRA'06), 2006.

S. Murata, H. Kurokawa, and S. Kokaji, Self-assembling machine, Proceedings of the 1994 IEEE International Conference on Robotics and Automation, pp.441-448, 1994.
DOI : 10.1109/ROBOT.1994.351257

]. M. Yim, Y. Zhang, J. Lamping, and E. Mao, Distributed control for 3d metamorphosis, Autonomous Robots, vol.10, issue.1, pp.41-56, 2001.
DOI : 10.1023/A:1026544419097

K. C. Prevas, C. Unsal, M. O. Efe, and P. K. Khosla, A hierarchical motion planning strategy for a uniform self-reconfigurable modular robotic system, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292), 2002.
DOI : 10.1109/ROBOT.2002.1013454

D. Christensen and K. Stoy, Selecting a meta-module to shape-change the ATRON self-reconfigurable robot, Proceedings 2006 IEEE International Conference on Robotics and Automation, 2006. ICRA 2006., pp.2532-2538, 2006.
DOI : 10.1109/ROBOT.2006.1642083

D. J. Christensen, Experiments on Fault-Tolerant Self-Reconfiguration and Emergent Self-Repair, 2007 IEEE Symposium on Artificial Life, 2007.
DOI : 10.1109/ALIFE.2007.367817

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

W. Shen, B. Salemi, and P. Will, Hormone-inspired adaptive communication and distributed control for CONRO self-reconfigurable robots, IEEE Transactions on Robotics and Automation, vol.18, issue.5, pp.700-712, 2002.
DOI : 10.1109/TRA.2002.804502

D. Coore, Botanical computing: A developmental approach to generating interconnect topologies on an amorphous computer, 1999.

M. Viroli, M. Casadei, S. Montagna, and F. Zambonelli, Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces, ACM Transactions on Autonomous and Adaptive Systems, vol.6, issue.2, pp.1-14, 2011.
DOI : 10.1145/1968513.1968517

K. Stoy, W. Shen, and P. Will, Implementing configuration dependent gaits in a self-reconfigurable robot, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422), pp.3828-3833, 2003.
DOI : 10.1109/ROBOT.2003.1242184

M. De-rosa, S. C. Goldstein, P. Lee, J. D. Campbell, and P. Pillai, Programming modular robots with locally distributed predicates, 2008 IEEE International Conference on Robotics and Automation, pp.3156-3162, 2008.
DOI : 10.1109/ROBOT.2008.4543691

M. De-rosa, S. C. Goldstein, P. Lee, J. Campbell, and P. S. Pillai, Detecting Locally Distributed Predicates, ACM Transactions on Autonomous and Adaptive Systems, vol.6, issue.2
DOI : 10.1145/1968513.1968516

M. P. Ashley-rollman, S. C. Goldstein, P. Lee, T. C. Mowry, and P. Pillai, Meld: A declarative approach to programming ensembles, 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.2794-2800, 2007.
DOI : 10.1109/IROS.2007.4399480

S. C. Goldstein, J. D. Campbell, and T. C. Mowry, Programmable matter, Computer, vol.38, issue.6, pp.99-101, 2005.
DOI : 10.1109/MC.2005.198

M. Bordignon, U. P. Schultz, and K. Stoy, Model-based Kinematics Generation for Modular Mechatronic Toolkits, Proc. 9th ACM SIG- PLAN/SIGSOFT Int. Conf. on Generative Programming and Component Engineering (GPCE'10), 2010.

U. P. Schultz, M. Bordignon, D. J. Christensen, and K. Stoy, Spatial Computing with Labels, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2008.
DOI : 10.1109/SASOW.2008.42

M. Bordignon, K. Stoy, and U. Schultz, Generalized programming of modular robots through kinematic configurations, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.3659-3666, 2011.
DOI : 10.1109/IROS.2011.6094811

K. Stoy, D. J. Christensen, D. Brandt, M. Bordignon, and U. P. Schultz, Exploit Morphology to Simplify Docking of Self-reconfigurable Robots, Proc. Int. Symp. on Distributed Autonomous Robotic Systems (DARS'08), pp.441-452, 2008.
DOI : 10.1007/978-3-642-00644-9_39

L. Mottola and G. Picco, Logical Neighborhoods: A Programming Abstraction for Wireless Sensor Networks, Distributed Computing in Sensor Systems, pp.150-168, 2006.
DOI : 10.1007/11776178_10

D. J. Christensen, D. Brandt, K. Stoy, and U. P. Schultz, A unified simulator for Self-Reconfigurable Robots, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp.870-876, 2008.
DOI : 10.1109/IROS.2008.4650757

J. Banâtre and T. Priol, Chemical programming of future serviceoriented architectures, JSW, vol.4, issue.7, pp.738-746, 2009.

J. Beal, Flexible self-healing gradients, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.1197-1201, 2009.
DOI : 10.1145/1529282.1529550

J. Beal, A Basis Set of Operators for Space-Time Computations, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop, pp.91-97, 2010.
DOI : 10.1109/SASOW.2010.21

T. Berners-lee and D. Connolly, Notation3 (N3): A readable rdf syntax. W3C team submission, W3C, 2011.

G. Cabri, L. Leonardi, and F. Zambonelli, MARS: a programmable coordination architecture for mobile agents, IEEE Internet Computing, vol.4, issue.4, pp.26-35, 2000.
DOI : 10.1109/4236.865084

R. V. Guha and D. Brickley, RDF vocabulary description language 1.0: RDF schema. W3C recommendation, W3C, Feb, 2004.

M. Krötzsch, P. F. Patel-schneider, S. Rudolph, P. Hitzler, and B. Parsia, OWL 2 web ontology language primer, 2009.

E. Miller and F. Manola, RDF primer. W3C recommendation, W3C, Feb, 2004.

S. Montagna, M. Viroli, M. Risoldi, D. Pianini, G. Di-marzo et al., Self-organising Pervasive Ecosystems: A Crowd Evacuation Example, Workshop on Software Engineering for Resilient Systems, pp.115-129, 2011.
DOI : 10.1016/j.ins.2009.11.021

URL : http://archive-ouverte.unige.ch/unige:17066

A. Omicini, A. Ricci, and M. Viroli, An algebraic approach for modelling organisation, roles and contexts in MAS, Applicable Algebra in Engineering, Communication and Computing, vol.2480, issue.2-3, pp.151-178, 2005.
DOI : 10.1007/s00200-005-0174-z

A. Omicini and F. Zambonelli, Coordination for Internet application development, Autonomous Agents and Multi-Agent Systems, vol.2, issue.3, pp.251-269, 1999.
DOI : 10.1023/A:1010060322135

D. Pianini, S. Virruso, R. Menezes, A. Omicini, and M. Viroli, Self Organization in Coordination Systems Using a WordNet-Based Ontology, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp.114-123, 2010.
DOI : 10.1109/SASO.2010.35

A. Rosi, M. Mamei, F. Zambonelli, S. Dobson, G. Stevenson et al., Social sensors and pervasive services: Approaches and perspectives, PerCom Workshops, pp.525-530, 2011.
DOI : 10.1109/percomw.2011.5766946

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

E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz, Pellet: A practical OWL-DL reasoner, Web Semantics: Science, Services and Agents on the World Wide Web, vol.5, issue.2, pp.51-53, 2007.
DOI : 10.1016/j.websem.2007.03.004

M. Viroli, M. Casadei, S. Montagna, F. Zambonelli-]-m, D. Viroli et al., Spatial coordination of pervasive services through chemical-inspired tuple spaces Linda in space-time: an adaptive coordination model for mobile ad-hoc environments, Proceedings of the 14th Conference of Coordination Models and Languages, pp.14-15, 2011.

M. Viroli, D. Pianini, S. Montagna, and G. Stevenson, Pervasive ecosystems, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.26-30, 2012.
DOI : 10.1145/2245276.2245336

M. Viroli, F. Zambonelli, G. Stevenson, and S. Dobson, From SOA to Pervasive Service Ecosystems, 2012.
DOI : 10.4018/978-1-4666-2089-6.ch008

F. Zambonelli and M. Viroli, A survey on nature???inspired metaphors for pervasive service ecosystems, International Journal of Pervasive Computing and Communications, vol.7, issue.3, pp.186-204, 2011.
DOI : 10.1108/17427371111172997