K. Altisen, P. Corbineau, and S. Devismes, A framework for certified selfstabilization, Formal Techniques for Distributed Objects, Components, and Systems, pp.36-51, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01432926

G. Audrito, R. Casadei, F. Damiani, and M. Viroli, Compositional Blocks for Optimal Self-Healing Gradients, 2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO), pp.91-100, 2017.
DOI : 10.1109/SASO.2017.18

G. Audrito, F. Damiani, and M. Viroli, Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed, COORDINATION 2017 best paper at Coordination, pp.59-77, 2017.
DOI : 10.1007/978-3-642-30829-1_15
URL : https://hal.archives-ouvertes.fr/hal-01657344

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

J. Beal, D. Pianini, and M. Viroli, Aggregate Programming for the Internet of Things, Computer, vol.48, issue.9, 2015.
DOI : 10.1109/MC.2015.261

J. Beal, M. Viroli, and F. Damiani, Towards a unified model of spatial computing, 7th Spatial Computing Workshop, 2014.

J. Beal, M. Viroli, D. Pianini, and F. Damiani, Self-Adaptation to Device Distribution in the Internet of Things, ACM Transactions on Autonomous and Adaptive Systems, vol.12, issue.3, pp.1-1229, 2017.
DOI : 10.1145/2957760

N. Busi, R. Gorrieri, and G. Zavattaro, On the Expressiveness of Linda Coordination Primitives, Information and Computation, vol.156, issue.1-2, pp.90-121, 2000.
DOI : 10.1006/inco.1999.2823
URL : https://doi.org/10.1006/inco.1999.2823

N. Busi and G. Zavattaro, On the Expressiveness of Event Notification in Data-Driven Coordination Languages, pp.41-55, 2000.
DOI : 10.1007/3-540-46425-5_3
URL : https://link.springer.com/content/pdf/10.1007%2F3-540-46425-5_3.pdf

N. Busi and G. Zavattaro, On the expressive power of movement and restriction in pure mobile ambients, Theoretical Computer Science, vol.322, issue.3, pp.477-515, 2004.
DOI : 10.1016/j.tcs.2003.10.040
URL : https://doi.org/10.1016/j.tcs.2003.10.040

R. Casadei and M. Viroli, Towards Aggregate Programming in Scala, First Workshop on Programming Models and Languages for Distributed Computing on, PMLDC '16, pp.1-5, 2016.
DOI : 10.1007/11520184_4

A. Church, A Set of Postulates for the Foundation of Logic, The Annals of Mathematics, vol.33, issue.2, pp.346-366, 1932.
DOI : 10.2307/1968337

D. Coore, Botanical Computing: A Developmental Approach to Generating Inter connect Topologies on an Amorphous Computer, 1999.

F. Damiani, M. Viroli, and J. Beal, A type-sound calculus of computational fields, Science of Computer Programming, vol.117, pp.17-44, 2016.
DOI : 10.1016/j.scico.2015.11.005

F. Damiani, M. Viroli, D. Pianini, and J. Beal, Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields, FORTE 2015, pp.113-128, 2015.
DOI : 10.1007/978-3-319-19195-9_8
URL : https://hal.archives-ouvertes.fr/hal-01767321

F. Deboer and C. Palamidessi, Embedding as a Tool for Language Comparison, Information and Computation, vol.108, issue.1, pp.128-157, 1994.
DOI : 10.1006/inco.1994.1004
URL : https://doi.org/10.1006/inco.1994.1004

E. Denti, A. Natali, and A. Omicini, On the expressive power of a language for programming coordination media, Proceedings of the 1998 ACM symposium on Applied Computing , SAC '98, pp.169-177, 1998.
DOI : 10.1145/330560.330665
URL : http://www.cs.rutgers.edu/~minsky/583/andrea1.ps

S. Dobson, S. Denazis, A. Fernández, D. Ga¨?tiga¨?ti, E. Gelenbe et al., A survey of autonomic communications. TAAS, vol.1, issue.2, pp.223-259, 2006.

B. R. Engstrom and P. R. Cappello, The SDEF programming system, Journal of Parallel and Distributed Computing, vol.7, issue.2, pp.201-231, 1989.
DOI : 10.1016/0743-7315(89)90018-X

F. Faghih, B. Bonakdarpour, S. Tixeuil, and S. Kulkarni, Specification-Based Synthesis of Distributed Self-Stabilizing Protocols, Formal Techniques for Distributed Objects, Components, and Systems, pp.124-141, 2016.
DOI : 10.1145/58564.59295
URL : https://hal.archives-ouvertes.fr/hal-01432932

C. Hewitt, P. B. Bishop, and R. Steiger, A universal modular ACTOR formalism for artificial intelligence, pp.235-245, 1973.

A. Igarashi, B. C. Pierce, and P. Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, 2001.
DOI : 10.1145/503502.503505
URL : http://www.cis.upenn.edu/~bcpierce/papers/fj-toplas.pdf

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

C. Lasser, J. Massar, J. Miney, and L. Dayton, Starlisp Reference Manual. Thinking Machines Corporation, 1988.

I. Linden, J. Jacquet, K. D. Bosschere, and A. Brogi, On the expressiveness of timed coordination models, Science of Computer Programming, vol.61, issue.2, pp.152-187, 2006.
DOI : 10.1016/j.scico.2005.10.011

A. Lluch-lafuente, M. Loreti, and U. Montanari, Asynchronous distributed execution of fixpoint-based computational fields, p.253, 1610.

S. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong, TAG, ACM SIGOPS Operating Systems Review, vol.36, issue.SI, pp.131-146, 2002.
DOI : 10.1145/844128.844142

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

F. Mattern, Virtual time and global states of distributed systems, Parallel and Distributed Algorithms, vol.1, issue.23, pp.215-226, 1989.

R. Nagpal, Programmable Self-Assembly: Constructing Global Shape using Biologically-inspired Local Interactions and Origami Mathematics, 2001.

M. Nielsen, G. D. Plotkin, and G. Winskel, Petri nets, event structures and domains, part I, Theoretical Computer Science, vol.13, issue.1, pp.85-108, 1981.
DOI : 10.1016/0304-3975(81)90112-2

D. Pianini, J. Beal, and M. Viroli, Improving Gossip Dynamics Through Overlapping Replicates, COORDINATION 2016, pp.192-207, 2016.
DOI : 10.1109/MC.2012.280
URL : https://hal.archives-ouvertes.fr/hal-01631721

M. Viroli, G. Audrito, J. Beal, F. Damiani, and D. Pianini, Engineering Resilient Collective Adaptive Systems by Self-Stabilisation, ACM Transactions on Modeling and Computer Simulation, vol.28, issue.2, pp.1-1628, 2018.
DOI : 10.1145/601858.601861

M. Viroli, J. Beal, F. Damiani, and D. Pianini, Efficient engineering of complex selforganising systems by self-stabilising fields, Self-Adaptive and Self-Organizing Systems (SASO), pp.81-90, 2015.

M. Viroli and F. Damiani, A Calculus of Self-stabilising Computational Fields, Coordination Languages and Models, pp.163-178, 2014.
DOI : 10.1007/978-3-662-43376-8_11
URL : https://hal.archives-ouvertes.fr/hal-01290075

M. Viroli, D. Pianini, S. Montagna, G. Stevenson, and F. Zambonelli, A coordination model of pervasive service ecosystems, Science of Computer Programming, vol.110, pp.3-22, 2015.
DOI : 10.1016/j.scico.2015.06.003

P. Wegner, Why interaction is more powerful than algorithms, Communications of the ACM, vol.40, issue.5, pp.80-91, 1997.
DOI : 10.1145/253769.253801

K. Whitehouse, C. Sharp, E. Brewer, and D. Culler, Hood, Proceedings of the 2nd international conference on Mobile systems, applications, and services , MobiSYS '04, 2004.
DOI : 10.1145/990064.990079

Y. Yao and J. Gehrke, The cougar approach to in-network query processing in sensor networks, ACM SIGMOD Record, vol.31, issue.3, p.2002, 2002.
DOI : 10.1145/601858.601861