G. Mazzola, The topos of music: geometric logic of concepts, theory, and performance. Birkhäuser, 2002.
DOI : 10.1007/978-3-0348-8141-8

R. Cohn, Neo-Riemannian Operations, Parsimonious Trichords, and Their "Tonnetz" Representations, Journal of Music Theory, vol.41, issue.1, pp.1-66, 1997.
DOI : 10.2307/843761

L. Bigo, J. Giavitto, and A. Spicher, Computation and Visualization of Musical Structures in Chord-Based Simplicial Complexes, 2013.
DOI : 10.1007/978-3-642-39357-0_3

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

L. Bigo, A. Spicher, and O. Michel, Spatial Programming for Music Representation and Analysis, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop, 2010.
DOI : 10.1109/SASOW.2010.22

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

M. Henle, A combinatorial introduction to topology, 1994.

J. Giavitto and O. Michel, MGS, Electronic Notes in Theoretical Computer Science, M. van den Brand and R. Verma, 2001.
DOI : 10.1016/S1571-0661(04)00293-2

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

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

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

J. Giavitto and A. Spicher, Systems Self-Assembly: multidisciplinary snapshots Simulation of self-assembly processes using abstract reduction systems, pp.199-22310, 2008.

G. Albini and S. Antonini, Hamiltonian Cycles in the Topological Dual of the Tonnetz, Mathematics and Computation in Music, pp.1-10, 2009.
DOI : 10.2307/843911

C. Callender, I. Quinn, and D. Tymoczko, Generalized Voice-Leading Spaces, Science, vol.320, issue.5874, p.346, 2008.
DOI : 10.1126/science.1153021

L. Bigo, J. Giavitto, and A. Spicher, Building Topological Spaces for Musical Objects, Mathematics and Computation in Music, pp.13-28, 2011.
DOI : 10.1007/978-3-642-21590-2_2

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

A. Forte, The structure of atonal music, 1977.

M. Andreatta and C. Agon, Implementing algebraic methods in openmusic, Proceedings of the International Computer Music Conference, 2003.

E. Gollin, Some Aspects of Three-Dimensional "Tonnetze", Journal of Music Theory, vol.42, issue.2, pp.195-206, 1998.
DOI : 10.2307/843873

J. J. Fux and A. Mann, The study of counterpoint from Johann Joseph Fux's Gradus ad Parnassum, WW Norton & Company, vol.277, 1965.

D. Tymoczko, Mazzola's model of fuxian counterpoint Mathematics and Computation in Music, pp.297-310, 2011.

S. Peltier, L. Fuchs, and P. Lienhardt, Simploidals sets: Definitions, operations and comparison with simplicial sets, Discrete Applied Mathematics, vol.157, issue.3, pp.542-557, 2009.
DOI : 10.1016/j.dam.2008.05.032

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

D. Angluin, J. Aspnes, Z. Diamadi, M. J. Fischer, and R. Peralta, Computation in networks of passively mobile finite-state sensors, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing, pp.290-299, 2004.

D. Angluin, J. Aspnes, Z. Diamadi, M. J. Fischer, and R. Peralta, Computation in networks of passively mobile finite-state sensors, Distributed Computing, pp.235-253, 2006.

D. Angluin, J. Aspnes, D. Eisenstat, and E. Ruppert, The computational power of population protocols, Distributed Computing, vol.34, issue.3, pp.279-304, 2007.
DOI : 10.1007/s00446-007-0040-2

D. Angluin, J. Aspnes, M. Chan, M. J. Fischer, H. Jiang et al., Stably Computable Properties of Network Graphs, Distributed Computing in Sensor Systems: First IEEE International Conference, DCOSS 2005 Proceedings, pp.63-74, 2005.
DOI : 10.1007/11502593_8

D. Angluin, J. Aspnes, M. J. Fischer, and H. Jiang, Self-stabilizing population protocols, p.13, 2008.
DOI : 10.1007/11795490_10

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

J. Aspnes and E. Ruppert, An Introduction to Population Protocols, Bulletin of the EATCS, pp.106-125, 2007.
DOI : 10.1007/978-3-540-89707-1_5

I. Chatzigiannakis, O. Michail, S. Nikolaou, A. Pavlogiannis, and P. G. Spirakis, Passively mobile communicating machines that use restricted space, Theoretical Computer Science, 2011.
DOI : 10.1145/1998476.1998480

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

C. Delporte-gallet, H. Fauconnier, R. Guerraoui, and E. Ruppert, When Birds Die: Making Population Protocols Fault-Tolerant, Distributed Computing in Sensor Systems, Second IEEE International Conference Proceedings, volume 4026 of Lecture Notes in Computer Science, pp.51-66, 2006.
DOI : 10.1007/11776178_4

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

R. Guerraoui and E. Ruppert, Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures, pp.484-495, 2009.
DOI : 10.1007/978-3-642-02930-1_40

M. Saks, Randomization and derandomization in space-bounded computation, Proceedings of Computational Complexity (Formerly Structure in Complexity Theory), pp.128-149, 1996.
DOI : 10.1109/CCC.1996.507676

G. Werner-allen, J. Johnson, M. Ruiz, J. Lees, and M. Welsh, Monitoring volcanic eruptions with a wireless sensor network, Proceeedings of the Second European Workshop on Wireless Sensor Networks, 2005., pp.108-120, 2005.
DOI : 10.1109/EWSN.2005.1462003

U. Lee, B. Zhou, M. Gerla, E. Magistretti, P. Bellavista et al., Mobeyes: smart mobs for urban monitoring with a vehicular sensor network, IEEE Wireless Communications, vol.13, issue.5, pp.52-57, 2006.
DOI : 10.1109/WC-M.2006.250358

G. Mao, B. Fidan, and B. Anderson, Wireless sensor network localization techniques, Computer Networks, vol.51, issue.10, pp.2529-2553, 2007.
DOI : 10.1016/j.comnet.2006.11.018

J. Kennedy, Swarm intelligence Handbook of nature-inspired and innovative computing, pp.187-219, 2006.

M. Dorigo, E. Bonabeau, and G. Theraulaz, Ant algorithms and stigmergy, Future Generation Computer Systems, vol.16, issue.8, pp.851-871, 2000.
DOI : 10.1016/S0167-739X(00)00042-X

N. Nanas and A. De-roeck, Autopoiesis, the immune system, and adaptive information filtering, Natural Computing, vol.23, issue.4, pp.387-427, 2009.
DOI : 10.1007/s11047-008-9068-x

Q. Liu, A. Pruteanu, and S. Dulman, GDE, Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems, MSWiM '11, pp.151-158, 2011.
DOI : 10.1145/2068897.2068925

U. Wilensky, Netlogo, center for connected learning and computerbased modeling, 1999.

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

M. Duckham, Decentralized spatial algorithm design, Spatial Computing 2012 colocated with AAMAS, pp.13-18

M. Nowak, Evolutionary Dynamics: exploring the equations of life, 2006.

Y. Jin and J. Branke, Evolutionary Optimization in Uncertain Environments???A Survey, IEEE Transactions on Evolutionary Computation, vol.9, issue.3, pp.303-317, 2005.
DOI : 10.1109/TEVC.2005.846356

M. Melanie, An introduction to genetic algorithms, 1999.

T. Nakano and T. Suda, Self-Organizing Network Services With Evolutionary Adaptation, IEEE Transactions on Neural Networks, vol.16, issue.5, pp.1269-1278, 2005.
DOI : 10.1109/TNN.2005.853421

C. Lee, J. Suzuki, and A. Vasilakos, An Evolutionary Game Theoretic Framework for Adaptive, Cooperative and Stable Network Applications, BIONETICS, pp.189-204, 2012.
DOI : 10.1007/978-3-540-74769-7_82

P. Champrasert, J. Suzuki, and C. Lee, Exploring self-optimization and self-stabilization properties in bio-inspired autonomic cloud applications, Concurrency and Computation: Practice and Experience, 2012.
DOI : 10.1002/cpe.1906

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-1424, 2011.
DOI : 10.1145/1968513.1968517

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

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

M. Viroli, J. Beal, and M. Casadei, Core operational semantics of Proto, Proceedings of the 2011 ACM Symposium on Applied Computing, SAC '11, pp.21-25, 2011.
DOI : 10.1145/1982185.1982472

M. Viroli, D. Pianini, and J. Beal, Linda in space-time: an adaptive coordination model for mobile ad-hoc environments, " in Coordination Languages and Models, ser, proceedings of the 14th Conference of Coordination Models and Languages, pp.212-229, 2012.

J. Pauty, P. Couderc, M. Banatre, and Y. Berbers, Geo-Linda: a Geometry Aware Distributed Tuple Space, 21st International Conference on Advanced Networking and Applications (AINA '07), pp.370-377, 2007.
DOI : 10.1109/AINA.2007.74

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

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-1424, 2011.
DOI : 10.1145/1968513.1968517

A. Omicini, Formal ReSpecT in the A&A Perspective, 5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), CONCUR'06, pp.97-117, 2006.
DOI : 10.1016/j.entcs.2007.03.006

A. Omicini, A. Ricci, and M. Viroli, Time-Aware Coordination in ReSpecT, Coordination Models and Languages 7th International Conference, pp.268-282, 2005.
DOI : 10.1145/1066677.1066776

M. Casadei and A. Omicini, Situated tuple centres in ReSpecT, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.8-12, 2009.
DOI : 10.1145/1529282.1529586

A. Omicini and E. Denti, Formal ReSpecT, Electronic Notes in Theoretical Computer Science, vol.48, pp.179-196, 2000.
DOI : 10.1016/S1571-0661(04)00156-2

A. Ricci, M. Viroli, and A. Omicini, The A&A Programming Model and Technology for Developing Agent Environments in MAS, Programming Multi-Agent Systems, pp.89-106, 2007.
DOI : 10.1007/978-3-540-79043-3_6

A. Omicini, A. Ricci, and N. Zaghini, Distributed workflow upon linkable coordination artifacts, " in Coordination Models and Languages, ser, 8th International Conference, pp.228-246, 2006.

R. Menezes, A. Omicini, and M. Viroli, On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study, 2nd International Workshop " Foundations of Coordination Languages and Software Architecture " (FOCLASA 2003), pp.97-124, 2003.
DOI : 10.1016/j.entcs.2004.04.033

J. Fernandez-marquez, G. Marzo-serugendo, S. Montagna, M. Viroli, and J. Arcos, Description and composition of bio-inspired design patterns: a complete overview, Natural Computing, vol.6, issue.2/3, pp.1-25, 2012.
DOI : 10.1007/s11047-012-9324-y

A. Omicini and F. Zambonelli, Coordination for Internet application development, special Issue: Coordination Mechanisms for Web Agents, pp.251-269, 1999.
DOI : 10.1023/A:1010060322135

A. Edward, W. W. Ashcroft, and . Wadge, Lucid, a Nonprocedural Language with Iteration, Communications of the ACM, vol.20, issue.7, pp.519-526, 1977.

P. Jarryd, B. Beck, J. Mancilla, and . Plaice, TransLucid user documentation, version 0.3.0, 2012.

P. Jarryd, J. Beck, W. W. Plaice, and . Wadge, Multidimensional Infinite Data in the Language Lucid Report UNSW-CSE-TR-2013- 06

A. Dehon, J. Giavitto, and F. Gruau, 06361 Executive Report ? Computing Media Languages for Space-Oriented Computation, Computing Media and Languages for Space-Oriented Computation, number 06361 in Dagstuhl Seminar Proceedings Internationales Begegnungs-und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, 2007.

I. Stuart, A. C. Feldman, and . Kay, A conversation with Alan Kay, ACM Queue, vol.2, issue.9, pp.20-30, 2004.

D. Maier, J. D. Ullman, and M. Y. Vardi, On the foundations of the universal relation model, ACM Transactions on Database Systems, vol.9, issue.2, pp.283-308, 1984.
DOI : 10.1145/329.318580

J. Plaice and J. P. Beck, Higher-order Multidimensional Programming Report UNSW-CSE-TR-2012-15, School of Computer Science and Engineering, The University of New South Wales Submitted for publication

J. Plaice, B. Mancilla, and G. Ditu, From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming, Mathematics in Computer Science, vol.2, issue.1, pp.37-61, 2008.
DOI : 10.1007/s11786-008-0043-9

A. Spicher, O. Michel, and J. Giavitto, Spatial Computing as Intensional Data Parallelism, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop, pp.14-18, 2009.
DOI : 10.1109/SASOW.2010.73

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

A. Muzy, L. Touraille, H. Vangheluwe, O. Michel, M. K. Traoré et al., Activity regions for the specification of discrete event systems, Proceedings of the 2010 Spring Simulation Multiconference on, SpringSim '10, 2010.
DOI : 10.1145/1878537.1878679

A. Muzy, F. Varenne, B. P. Zeigler, J. Caux, P. Coquillard et al., Refounding of activity concept? Towards a federative paradigm for modeling and simulation SIMULATION: Transactions of The Society for Modeling and Simulation International, pp.156-177, 2012.

J. Giavitto, C. Godin, O. Michel, and P. Prusinkiewicz, Modelling and Simulation of biological processes in the context of genomics Computational Models for Integrative and Developmental Biology " , also republished as an high-level course in the proceedings of the Dieppe spring school on " Modelling and simulation of biological processes in the context of genomics, Hermes, pp.12-17, 2002.

A. Spicher, O. Michel, and J. Giavitto, Spatial Computing as Intensional Data Parallelism, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop, pp.14-18, 2009.
DOI : 10.1109/SASOW.2010.73

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

L. Bigo, A. Spicher, and O. Michel, Spatial Programming for Music Representation and Analysis, 2010 Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshop, 2010.
DOI : 10.1109/SASOW.2010.22

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

A. Spicher, O. Michel, and J. Giavitto, Arbitrary nesting of spatial computing, Spatial Computing Workshop 2012 at AAMAS. Valencia, Spain: AAMAS, 2012.

M. Potier, A. Spicher, and O. Michel, Topological computation of activity regions, Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation, SIGSIM-PADS '13, 2013.
DOI : 10.1145/2486092.2486136

U. Axen, Topological analysis using morse theory and auditory display, 1998.

T. A. Witten and L. M. Sander, Diffusion-Limited Aggregation, a Kinetic Critical Phenomenon, Physical Review Letters, vol.47, issue.19, pp.1400-1403, 1981.
DOI : 10.1103/PhysRevLett.47.1400

A. Spicher, N. A. Fatès, and O. Simonin, From reactive multiagent models to cellular automata -Illustration on a diffusion-limited aggregation model, Proceedings of ICAART'09, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00319471

C. Talbot and G. M. Youngblood, Positioning Characters Using Forces, CAVE, 2013.

M. Si, S. C. Marsella, D. V. Pynadath, and M. Rey, Evaluating Directorial Control in a Character-Centric Interactive Narrative Framework, Proceedings of 9th International Conference on Autonomous Agents and Multiagent Systems, pp.1289-1296, 2010.

M. Theune, S. Faas, and D. Heylen, The virtual storyteller, Proceedings of the Technologies for Interactive Digital Storytelling and Entertainment TIDSE Conference, 2003.
DOI : 10.1145/962185.962193

P. Kenny, A. Hartholt, J. Gratch, W. Swartout, D. Traum et al., Building Interactive Virtual Humans for Training Environments The Interservice/Industry Training, Simulation & Education Conference, 2007.

D. Jan and D. R. Traum, Dynamic movement and positioning of embodied agents in multiparty conversations, Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems , AAMAS '07, pp.59-66, 2007.
DOI : 10.1145/1329125.1329142

E. Sundstrom and I. Altman, Interpersonal relationships and personal space: Research review and theoretical model, Human Ecology, vol.6, issue.3, pp.47-67, 1976.
DOI : 10.1007/BF01531456

R. Sommer, The Distance for Comfortable Conversation: A Further Study, Sociometry, vol.25, issue.1, pp.111-116, 1962.
DOI : 10.2307/2786041

N. Trivedi, P. Langley, P. Schermerhorn, and M. Scheutz, Communicating , Interpreting, and Executing High-Level Instructions for Human- Robot Interaction, Proceedings of the 2011 AAAI Fall Symposium on Advances in Cognitive Systems, 2011.

C. Matuszek, E. Herbst, L. Zettlemoyer, and D. Fox, Learning to Parse Natural Language Commands to a Robot Control System, Proceedings of the 13th International Symposium on Experimental Robotics (ISER), 2012.
DOI : 10.1007/978-3-319-00065-7_28

J. Dzifcak, M. Scheutz, C. Baral, and P. Schermerhorn, What to do and how to do it: Translating natural language directives into temporal and dynamic logic representation for goal management and action execution, 2009 IEEE International Conference on Robotics and Automation, pp.3768-3773, 2009.
DOI : 10.1109/ROBOT.2009.5152776

A. G. Brooks, Coordinating Human-Robot Communication, 2006.

D. V. Lu and W. D. Smart, Human-robot interactions as theatre, 2011 RO-MAN, pp.473-478, 2011.
DOI : 10.1109/ROMAN.2011.6005241

C. Talbot and G. M. Youngblood, Spatial Cues in Hamlet, Intelligent Virtual Agents, pp.252-259, 2012.
DOI : 10.1007/978-3-642-33197-8_26

M. J. Bannister, D. Eppstein, M. T. Goodrich, and L. Trott, Force-Directed Graph Drawing Using Social Gravity and Scaling, 1209.
DOI : 10.1007/978-3-642-36763-2_37

R. Shannon, A. Quigley, H. Australia, and P. Nixon, Graphemes, Proceedings of the 28th of the international conference extended abstracts on Human factors in computing systems, CHI EA '10, pp.4195-4200, 2010.
DOI : 10.1145/1753846.1754125

W. T. Tutte, How to Draw a Graph, Proc. London Math. Soc, p.743768, 1963.
DOI : 10.1112/plms/s3-13.1.743

S. G. Kobourov, Spring Embedders and Force Directed Graph Drawing Algorithms, 1201.

T. M. Fruchterman, E. M. Edward, and . Reingold, Graph drawing by force-directed placement, Software: Practice and Experience, pp.1129-1164, 1991.
DOI : 10.1002/spe.4380211102

T. Kamada and S. Kawai, An algorithm for drawing general undirected graphs, Information Processing Letters, vol.31, issue.1, pp.7-15, 1989.
DOI : 10.1016/0020-0190(89)90102-6

R. Hadany and D. Harel, A multi-scale algorithm for drawing graphs nicely, Proceedings of the 25th International Workshop on Graph- Theoretic Concepts in Computer Science, ser. WG '99, pp.262-277, 1999.

P. Gajer, M. T. Goodrich, and S. G. Kobourov, A Fast Multi- Dimensional Algorithm for Drawing Large Graphs, 8th Symp. on Graph Drawing (GD), pp.211-221, 2000.

C. Talbot and G. M. Youngblood, Lack of Spatial Indicators in Hamlet, FLAIRS, 2013.

C. Manning, Force layout, " https://github.com/mbostock/d3/wiki/ Force-Layout. [Online] Available: https://github, p.3

A. Modeling, Anchor modeling | an agile modeling technique for evolving information

A. Quigley, Large scale force directed layout (spring algorithm): For information visualization: Clustering and abstraction, 2003.

J. Banâtre, P. Fradet, and Y. Radenac, A Generalized Higher-Order Chemical Computation Model, Electronic Notes in Theoretical Computer Science, vol.135, issue.3, pp.3-13, 2006.
DOI : 10.1016/j.entcs.2005.09.016

J. Banâtre and D. L. Métayer, GAMMA AND THE CHEMICAL REACTION MODEL: TEN YEARS AFTER, Coordination Programming, pp.3-41, 1996.
DOI : 10.1142/9781848161023_0001

J. Beal, A basis set of operators for space-time computa- tions Available at: http://www.spatial-computing.org, Spatial Computing Workshop, 2010.

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, J. Bachrach, D. Vickery, and M. Tobenkin, Fast self-healing gradients, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.1969-1975, 2008.
DOI : 10.1145/1363686.1364163

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

J. Beal, K. Usbeck, and B. Benyo, On the evaluation of space-time functions, The Computer Journal, 2012.

G. Berry and G. Boudol, The chemical abstract machine, Theoretical Computer Science, vol.96, issue.1, pp.217-248, 1992.
DOI : 10.1016/0304-3975(92)90185-I

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

M. Casadei, L. Gardelli, and M. Viroli, Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case, Electronic Notes in Theoretical Computer Science, vol.175, issue.2, pp.59-80, 2007.
DOI : 10.1016/j.entcs.2007.05.022

J. L. Fernandez-marquez, G. D. Serugendo, S. Montagna, M. Viroli, and J. L. Arcos, Description and composition of bio-inspired design patterns: a complete overview, Natural Computing, vol.6, issue.2/3, pp.43-67, 2013.
DOI : 10.1007/s11047-012-9324-y

C. Fischione and U. Jonsson, Fast-Lipschitz Optimization With Wireless Sensor Networks Applications, Proceedings of IPSN 2011, pp.378-389, 2011.
DOI : 10.1109/TAC.2011.2163855

G. Huet, Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems, Journal of the ACM, vol.27, issue.4, pp.797-821, 1980.
DOI : 10.1145/322217.322230

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

S. Montagna, M. Viroli, J. L. Fernandez-marquez, G. Di-marzo, F. Serugendo et al., Injecting Self-Organisation into Pervasive Service Ecosystems, Mobile Networks and Applications, pp.1-15, 2012.
DOI : 10.1007/s11036-012-0411-1

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

D. Pianini, S. Montagna, and M. Viroli, Alchemist: a chemical-oriented multi-agent based simulation framework, Journal of Simulation, 2013.

M. Viroli, J. Beal, and K. Usbeck, Operational semantics of proto, Science of Computer Programming, vol.78, issue.6, 2012.
DOI : 10.1016/j.scico.2012.12.003

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-1424, 2011.
DOI : 10.1145/1968513.1968517

M. Viroli, D. Pianini, and J. Beal, Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments, Coordination Models and Languages, pp.212-229, 2012.
DOI : 10.1007/978-3-642-30829-1_15

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

M. Viroli and G. Stevenson, On the space-time situation of pervasive service ecosystems Available at, Workshop on Spatial Computing, 2012.

F. Zambonelli, G. Castelli, L. Ferrari, M. Mamei, A. Rosi et al., Self-aware Pervasive Service Ecosystems, Procedia Computer Science, vol.7, pp.197-199, 2011.
DOI : 10.1016/j.procs.2011.09.006

URL : http://doi.org/10.1016/j.procs.2011.09.006

]. 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

M. Beek, A. Bucchiarone, and S. Gnesi, A survey on service composition approaches: From industrial standards to formal methods, pp.15-20, 2006.

A. A. Berryman, The Orgins and Evolution of Predator-Prey Theory, Ecology, vol.73, issue.5, pp.1530-1535, 1992.
DOI : 10.2307/1940005

J. Bonâtre and D. L. Métayer, Gamma and the chemical reaction model: Ten years after, Coordination Programming, pp.3-41, 1996.

G. Canfora, M. D. Penta, R. Esposito, and M. L. Villani, An approach for QoS-aware service composition based on genetic algorithms, Proceedings of the 2005 conference on Genetic and evolutionary computation , GECCO '05, pp.1069-1075, 2005.
DOI : 10.1145/1068009.1068189

M. A. Gibson and J. Bruck, Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels, The Journal of Physical Chemistry A, vol.104, issue.9, pp.1876-1889, 2000.
DOI : 10.1021/jp993732q

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

S. Montagna, M. Viroli, J. L. Fernandez-marquez, G. Di-marzo, F. Serugendo et al., Injecting self-organisation into pervasive service ecosystems Online first, available through DOI: 10, Mobile Networks and Applications, pp.11036-11048, 1007.

S. Montagna, M. Viroli, D. Pianini, and J. L. Fernandez-marquez, Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems, Proceedings of the 13th Workshop on Objects and Agents. CEUR-WS, 2012.

D. Pianini, S. Montagna, and M. Viroli, Chemical-oriented simulation of computational systems with ALCHEMIST, Journal of Simulation, vol.7, issue.3, 2013.
DOI : 10.1057/jos.2012.27

M. Viroli, A self-organising approach to competition and composition of pervasive services, Science of Computer Programming, pp.1-29

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-1424, 2011.
DOI : 10.1145/1968513.1968517

M. Viroli and G. Stevenson, On the space-time situation of pervasive service ecosystems, Workshop on Spatial Computing Informal Proceedings, pp.53-59, 2012.

Z. Wu, A. Ranabahu, K. Gomadam, A. Sheth, and J. Miller, Automatic composition of semantic web services using process and data mediation, Proc. of the 9th Intl. Conf. on Enterprise Information Systems, pp.453-461, 2007.

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

S. D. Ramchurn, M. Polukarov, A. Farinelli, C. Truong, and N. R. Jennings, Coalition formation with spatial and temporal constraints, Proc. Int'l Conf. on Autonomous Agents and Multi-Agent Systems, pp.1181-1188, 2010.

P. Scerri, A. Farinelli, S. Okamoto, and M. Tambe, Allocating tasks in extreme teams, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, pp.727-734, 2005.
DOI : 10.1145/1082473.1082584

P. R. Ferreira, J. , F. Santos, A. L. Bazzan, D. Epstein et al., RoboCup Rescue as multiagent task allocation among teams: experiments with task interdependencies, Autonomous Agents and Multi-Agent Systems, vol.2, issue.1, pp.421-443, 2010.
DOI : 10.1007/s10458-009-9087-8

Y. Zhang and L. E. Parker, Task allocation with executable coalitions in multirobot tasks, 2012 IEEE International Conference on Robotics and Automation, 2012.
DOI : 10.1109/ICRA.2012.6224910

M. Nanjanath, A. Erlandson, S. Andrist, A. Ragipindi, A. Mohammed et al., Decision and Coordination Strategies for RoboCup Rescue Agents, Proc. SIMPAR, pp.473-484, 2010.
DOI : 10.1007/978-3-642-17319-6_43

A. Chapman, R. A. Micillo, R. Kota, and N. Jennings, Decentralised dynamic task allocation using overlapping potential games, The Computer Journal, 2010.
DOI : 10.1093/comjnl/bxq023

URL : http://eprints.soton.ac.uk/268518/1/ChapmanEtal_CJ2010.pdf

T. Sandholm, K. Larson, M. Andersson, O. Shehory, and F. Tohmé, Coalition structure generation with worst case guarantees, Artificial Intelligence, vol.111, issue.1-2, pp.209-238, 1999.
DOI : 10.1016/S0004-3702(99)00036-3

V. D. Dang and N. R. Jennings, Generating coalition structures with finite bound from the optimal guarantees, Proc. Int'l Conf. on Autonomous Agents and Multi-Agent Systems, pp.564-571, 2004.

X. Zheng and S. Koenig, Reaction functions for task allocation to cooperative agents, Proc. Int'l Conf. on Autonomous Agents and Multi-Agent Systems, pp.559-566, 2008.

H. Kitano, S. Tadokoro-alvaro-monares, S. F. Ochoa, J. A. Pino, V. Herskovic et al., RoboCup rescue: A grand challenge for multiagent and intelligent systems AI Magazine Mobile computing in urban emergency situations: Improving the support to firefighters in the field, Expert Systems with Applications, vol.2211, issue.38 2, pp.39-52, 2001.

J. Straub and A. F. Mohammad, Above the cloud computing: creating an orbital service model using cloud computing techniques, Proceedings of the SPIE Defense Security + Sensing Conference, 2013.

M. Abolhasan, A review of routing protocols for mobile ad hoc networks, Ad Hoc Networks, pp.1-22, 2003.
DOI : 10.1016/S1570-8705(03)00043-X

N. D. Karande, Efficient routing protocols for vehicular adhoc network, Int. J. Eng. Res & Tech, vol.2, issue.1, 2013.

S. Das, S. Barman, and J. D. Sinha, Energy Efficient Routing in Wireless Sensor Network, Procedia Technology, vol.6, 2012.
DOI : 10.1016/j.protcy.2012.10.088

H. D. Curtis, Orbital Mechanics for Engineering Students, 2009.

J. A. Pelesko, Self Assembly: The Science of Things that Put Themselves Together, 2007.
DOI : 10.1201/9781584886884

N. Krasnogor, S. Gustafson, D. A. Pelta, and J. L. Verdegay, Systems self-assembly: multidisciplinary snapshots, 2008.

G. Terrazas, D. Landa-silva, and N. Krasnogor, Towards the Design of Heuristics by Means of Self-Assembly, Developments in Computational Models, pp.135-146, 2010.
DOI : 10.4204/EPTCS.26.13

L. Li, J. Garibaldi, and N. Krasnogor, Automated self-assembly programming paradigm: initial investigation, IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, pp.25-26, 2006.

D. Soloveichik and E. Winfree, The computational power of Benenson automata, Theoretical Computer Science, vol.344, issue.2-3, pp.279-297, 2005.
DOI : 10.1016/j.tcs.2005.07.027

L. M. Adleman, Q. Cheng, A. Goel, M. A. Huang, D. Kempe et al., Combinatorial optimization problems in self-assembly, Proceedings of the thiry-fourth annual ACM symposium on Theory of computing , STOC '02, pp.23-32, 2002.
DOI : 10.1145/509907.509913

L. M. Adleman, Q. Cheng, A. Goel, and M. D. Huang, Running time and program size for self-assembled squares, Proceedings of the thirty-third annual ACM symposium on Theory of computing , STOC '01, pp.740-748, 2001.
DOI : 10.1145/380752.380881

P. W. Rothemund and E. Winfree, The program-size complexity of self-assembled squares, Symposium on Theory of computing, pp.459-468, 2000.

E. Winfree, F. Liu, L. A. Wenzler, and N. C. Seeman, Design and selfassembly of two-dimensional dna crystals, Nature, issue.6693, pp.394539-544, 1998.

R. Schulman and E. Winfree, Programmable Control of Nucleation for Algorithmic Self-Assembly, SIAM Journal on Computing, vol.39, issue.4, pp.1581-1616, 2009.
DOI : 10.1137/070680266

G. Terrazas, H. Zenil, and N. Krasnogor, Exploring programmable selfassembly in non-dna based molecular computing, Journal of Natural Computing, 2013.

H. Wang, Proving theorems by pattern recognition I, Communications of the ACM, vol.3, issue.4, pp.1-42, 1961.
DOI : 10.1145/367177.367224

E. Flenner, L. Janosi, B. Barz, A. Neagu, G. Forgacs et al., Kinetic Monte Carlo and cellular particle dynamics simulations of multicellular systems, Physical Review E, vol.85, issue.3, p.31907, 2012.
DOI : 10.1103/PhysRevE.85.031907

P. Bruschi, P. Cagnoni, and A. Nannini, Temperature-dependent Monte Carlo simulations of thin metal film growth and percolation, Physical Review B, vol.55, issue.12, pp.7955-7963, 1997.
DOI : 10.1103/PhysRevB.55.7955

F. Silly, U. K. Weber, A. Q. Shaw, V. M. Burlakov, M. R. Castell et al., Deriving molecular bonding from a macromolecular self-assembly using kinetic Monte Carlo simulations, Physical Review B, vol.77, issue.20, p.77201408, 2008.
DOI : 10.1103/PhysRevB.77.201408

B. A. Hermann, C. Rohr, M. B. Gambra, A. Malecki, M. S. Malarek et al., Molecular self-organization: Predicting the pattern diversity and lowest energy state of competing ordering motifs, Physical Review B, vol.82, issue.16, p.82165451, 2010.
DOI : 10.1103/PhysRevB.82.165451

Y. Li and N. Lin, Combined scanning tunneling microscopy and kinetic Monte Carlo study on kinetics of Cu-coordinated pyridyl-porphyrin supramolecular self-assembly on a Au(111) surface, Physical Review B, vol.84, issue.12, p.125418, 2011.
DOI : 10.1103/PhysRevB.84.125418

. Pettifor, Role of interaction anisotropy in the formation and stability of molecular templates, Phys. Rev. Lett, vol.100, issue.15, p.156101, 2008.

Q. Cheng, A. Goel, and P. Moisset, Optimal self-assembly of counters at temperature two, Foundations of nanoscience: self-assembled architectures and devices, 2004.

P. Moisset, Chapter 10 Computer Aided Search for Optimal Self-Assembly Systems, Systems Self-Assembly Multidisciplinary Snapshots, pp.225-243, 2008.
DOI : 10.1016/S1571-0831(07)00010-X

P. Siepmann, G. Terrazas, and N. Krasnogor, Evolutionary design for the behaviour of cellular automaton-based complex systems, Adaptive Computing in Design and Manufacture, pp.199-208, 2006.

G. Terrazas, P. Siepmann, G. Kendall, and N. Krasnogor, An evolutionary methodology for the automated design of cellular automaton-based complex systems, Journal of Cellular Automata, vol.2, issue.1, pp.77-102, 2007.

M. Li and P. M. Vitányi, An Introduction to Kolmogorov Complexity and Its Applications, 2008.