G. Audrito, J. Beal, F. Damiani, and M. Viroli, Space-time universality of field calculus, 20th International Conference on Coordination Models and Languages, vol.10852, pp.1-20, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01821491

G. Audrito, R. Casadei, F. Damiani, and M. Viroli, Compositional blocks for optimal self-healing gradients, 11th International Conference on Self-Adaptive and Self-Organizing Systems, pp.91-100, 2017.

G. Audrito, F. Damiani, M. Viroli, and R. Casadei, Run-time management of computation domains in field calculus, 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp.192-197, 2016.

G. Audrito, M. Viroli, F. Damiani, D. Pianini, and J. Beal, A higher-order calculus of computational fields, ACM Transactions on Computational Logic, vol.20, issue.1, p.55, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02313736

J. Beal, D. Pianini, and M. Viroli, Aggregate programming for the Internet of Things, IEEE Computer, vol.48, issue.9, pp.22-30, 2015.

J. Beal, K. Usbeck, J. Loyall, M. Rowe, and J. Metzler, Adaptive opportunistic airborne sensor sharing, ACM Transactions on Autonomous and Adaptive Systems, vol.13, issue.1, 2018.

A. Bouguettaya, M. Singh, M. Huhns, and Q. Z. Sheng, A service computing manifesto: the next 10 years, Communications of the ACM, vol.60, issue.4, pp.64-72, 2017.

R. Casadei, G. Fortino, D. Pianini, W. Russo, C. Savaglio et al., Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing, Future Generation Computer Systems, vol.91, pp.252-262, 2018.

R. Casadei, D. Pianini, and M. Viroli, Simulating large-scale aggregate MASs with Alchemist and Scala, FedCSIS Proceedings, pp.1495-1504, 2016.

R. Casadei and M. Viroli, Collective abstractions and platforms for large-scale selfadaptive IoT, 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp.106-111, 2018.

R. Casadei and M. Viroli, Programming actor-based collective adaptive systems, Programming with Actors, vol.10789, pp.94-122, 2018.

D. W. Casbeer, D. B. Kingston, R. W. Beard, and T. W. Mclain, Cooperative forest fire surveillance using a team of small unmanned air vehicles, International Journal of Systems Science, vol.37, issue.6, pp.351-360, 2006.

A. Ching, S. Edunov, and M. Kabiljo, One trillion edges: Graph processing at facebook-scale. VLDB Endowment, Proceedings, vol.8, issue.12, pp.1804-1815, 2015.

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

C. Curino, M. Giani, M. Giorgetta, and A. Giusti, Mobile data collection in sensor networks: The TinyLime middleware, Pervasive and Mobile Computing, vol.4, pp.446-469, 2005.

F. Damiani and M. Viroli, Type-based self-stabilisation for computational fields, Logical Methods in Computer Science, vol.11, issue.4, 2015.

R. De-nicola, The SCEL language: Design, implementation, verification, Software Engineering for Collective Autonomic Systems: The ASCENS Approach, pp.3-71, 2015.

J. Dean and S. Ghemawat, MapReduce: simplified data processing on large clusters, Communications of the ACM, vol.51, issue.1, pp.107-113, 2008.

E. Frew and T. Brown, Airborne communication networks for small unmanned aircraft systems, Proceedings of the IEEE, vol.96, issue.12, pp.2008-2027, 2008.

J. L. Giavitto, O. Michel, J. Cohen, and A. Spicher, Computations in space and space in computations, Unconventional Programming Paradigms, vol.3566, pp.137-152, 2005.

C. Groba and S. Clarke, Opportunistic service composition in dynamic ad hoc environments, IEEE Trans. on Services Computing, vol.7, issue.4, pp.642-653, 2014.

L. Gupta, R. Jain, and G. Vaszkun, Survey of important issues in UAV communication networks, IEEE Communications Surveys & Tutorials, vol.18, issue.2, pp.1123-1152, 2016.

B. Horling and V. Lesser, A survey of multi-agent organizational paradigms, The Knowledge engineering review, vol.19, issue.4, pp.281-316, 2004.

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, pp.396-450, 2001.

A. Lluch-lafuente, M. Loreti, and U. Montanari, Asynchronous distributed execution of fixpoint-based computational fields, Logical Methods in Computer Science, vol.13, issue.1, 2017.

M. Mamei and F. Zambonelli, Programming pervasive and mobile computing applications: The TOTA approach, ACM Transactions on Software Engineering Methodologies, vol.18, issue.4, pp.1-56, 2009.

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

R. Newton and M. Welsh, Region streams: Functional macroprogramming for sensor networks, WS on Data Managem. for Sensor Nets, pp.78-87, 2004.

D. Pianini, J. Beal, and M. Viroli, Improving gossip dynamics through overlapping replicates, 18th International Conference on Coordination Models and Languages, vol.9686, pp.192-207, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01631721

D. Pianini, S. Montagna, and M. Viroli, Chemical-oriented simulation of computational systems with ALCHEMIST, Journal of Simulation, vol.7, issue.3, pp.202-215, 2013.

W. Shi and S. Dustdar, The promise of edge computing, IEEE Computer, vol.49, issue.5, pp.78-81, 2016.

H. L. Truong and S. Dustdar, Principles for engineering IoT cloud systems, IEEE Cloud Computing, vol.2, issue.2, pp.68-76, 2015.

L. Valiant, A bridging model for parallel computation, Communications of ACM, vol.33, issue.8, pp.103-111, 1990.

M. Viroli, G. Audrito, J. Beal, F. Damiani, and D. Pianini, Engineering resilient collective adaptive systems by self-stabilisation, ACM Transactions on Modelling and Computer Simulation, vol.28, issue.2, 2018.

M. Viroli, J. Beal, F. Damiani, G. Audrito, R. Casadei et al., From fieldbased coordination to aggregate computing, 20th Int. Conf. on Coordination Models and Languages, vol.10852, pp.252-279, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01821488

M. Viroli, R. Casadei, and D. Pianini, On execution platforms for large-scale aggregate computing, ACM UbiComp: Adjunct, pp.1321-1326, 2016.

K. Whitehouse, C. Sharp, E. Brewer, and D. Culler, Hood: a neighborhood abstraction for sensor networks, Conf. on Mobile systems, applications, and services, 2004.

F. Zambonelli, Toward sociotechnical urban superorganisms, IEEE Computer, vol.45, issue.8, pp.76-78, 2012.

F. Zambonelli, A. Omicini, B. Anzengruber, and G. Castelli, Developing pervasive multi-agent systems with nature-inspired coordination, Pervasive and Mobile Computing, 2014.