References

  1. Jacob Beal (2009): Flexible Self-Healing Gradients. In: ACM Symposium on Applied Computing. ACM, New York, NY, USA, pp. 1197–1201, doi:10.1145/1529282.1529550.
  2. Jacob Beal (2010): A Basis Set of Operators for Space-Time Computations. In: Spatial Computing Workshop, doi:10.1109/SASOW.2010.21.
  3. Jacob Beal & Jonathan Bachrach (2006): Infrastructure for Engineered Emergence in Sensor/Actuator Networks. IEEE Intelligent Systems 21, pp. 10–19, doi:10.1109/mis.2006.29.
  4. Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli & Nikolaus Correll (2013): Organizing the Aggregate: Languages for Spatial Computing. In: Marjan Mernik: Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, chapter 16. IGI Global, pp. 436–501, doi:10.4018/978-1-4666-2092-6.ch016.
  5. Jacob Beal, Danilo Pianini & Mirko Viroli (2015): Aggregate Programming for the Internet of Things. IEEE Computer 48(9), doi:10.1109/MC.2015.261.
  6. Jacob Beal, Kyle Usbeck & Brett Benyo (2013): On the Evaluation of Space-Time Functions. The Computer Journal 56(12), pp. 1500–1517, doi:10.1093/comjnl/bxs099.
  7. Jacob Beal, Mirko Viroli & Ferruccio Damiani (2014): Towards a Unified Model of Spatial Computing. In: 7th Spatial Computing Workshop (SCW 2014), AAMAS 2014, Paris, France.
  8. Jacob Beal, Mirko Viroli, Danilo Pianini & Ferruccio Damiani (2016): Self-adaptation to Device Distribution Changes in Situated Computing Systems. In: IEEE Conference on Self-Adaptive and Self-Organising Systems (SASO 2016). IEEE. To appear..
  9. Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto & Betti Venneri (2003): The Klaim Project: Theory and Practice. In: Global Computing 2003, Lecture Notes in Computer Science 2874. Springer, pp. 88–150, doi:10.1007/978-3-540-40042-4_4.
  10. Luca Cardelli & Philippa Gardner (2010): Processes in Space. In: 6th Conference on Computability in Europe, Lecture Notes in Computer Science 6158. Springer, pp. 78–87, doi:10.1007/978-3-642-13962-8.
  11. Luca Cardelli & Andrew D. Gordon (2000): Mobile ambients. Theoretical Computer Science 240(1), pp. 177–213, doi:10.1016/S0304-3975(99)00231-5.
  12. Luca Cardelli, Mirco Tribastone, Max Tschaikowski & Andrea Vandin (2016): Symbolic computation of differential equivalences. In: POPL 2016, pp. 137–150, doi:10.1145/2837614.2837649.
  13. Alonzo Church (1932): A Set of Postulates for the Foundation of Logic. Annals of Mathematics 33(2), pp. 346–366, doi:10.2307/1968337.
  14. Daniel Coore (1999): Botanical Computing: A Developmental Approach to Generating Inter connect Topologies on an Amorphous Computer. MIT, Cambridge, MA, USA.
  15. Ferruccio Damiani & Mirko Viroli (2015): Type-based Self-stabilisation for Computational Fields. Logical Methods in Computer Science 11(4), pp. 1–53, doi:10.2168/LMCS-11(4:21)2015.
  16. Ferruccio Damiani, Mirko Viroli & Jacob Beal (2016): A type-sound calculus of computational fields. Science of Computer Programming 117, pp. 17 – 44, doi:10.1016/j.scico.2015.11.005.
  17. Ferruccio Damiani, Mirko Viroli, Danilo Pianini & Jacob Beal (2015): Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields. In: Susanne Graf & Mahesh Viswanathan: Formal Techniques for Distributed Objects, Components, and Systems, Lecture Notes in Computer Science 9039. Springer International Publishing, pp. 113–128, doi:10.1007/978-3-319-19195-9_8.
  18. Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli & Josep Lluís Arcos (2013): Description and composition of bio-inspired design patterns: a complete overview. Natural Computing 12(1), pp. 43–67, doi:10.1007/s11047-012-9324-y.
  19. Tim Finin, Richard Fritzson, Don McKay & Robin McEntire (1994): KQML as an agent communication language. In: Proceedings of the third international conference on Information and knowledge management, CIKM '94. ACM, New York, NY, USA, pp. 456–463, doi:10.1145/191246.191322.
  20. Jean-Louis Giavitto, Christophe Godin, Olivier Michel & Przemyslaw Prusinkiewicz (2002): Computational models for integrative and developmental biology. Technical Report 72-2002. Univerite d'Evry, LaMI.
  21. Atsushi Igarashi, Benjamin C. Pierce & Philip Wadler (2001): Featherweight Java: A Minimal Core Calculus for Java and GJ. ACM Transactions on Programming Languages and Systems 23(3), pp. 396–450, doi:10.1145/503502.503505.
  22. M.E. Inchiosa & M.T. Parker (2002): Overcoming design and development challenges in agent-based modeling using ASCAPE. Proceedings of the National Academy of Sciences of the United States of America 99(Suppl 3), pp. 7304, doi:10.1073/pnas.082081199.
  23. Diego Latella, Michele Loreti & Mieke Massink (2015): On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110, pp. 23–50, doi:10.1016/j.scico.2015.06.009.
  24. Axel Legay, Benoît Delahaye & Saddek Bensalem (2010): Statistical Model Checking: An Overview. In: Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky & Nikolai Tillmann: Runtime Verification, Lecture Notes in Computer Science 6418. Springer, pp. 122–135, doi:10.1007/978-3-642-16612-9_11.
  25. Samuel R. Madden, Robert Szewczyk, Michael J. Franklin & David Culler (2002): Supporting Aggregate Queries Over Ad-Hoc Wireless Sensor Networks. In: Workshop on Mobile Computing and Systems Applications, doi:10.1109/MCSA.2002.1017485.
  26. Marco Mamei & Franco Zambonelli (2009): Programming pervasive and mobile computing applications: The TOTA approach. ACM Trans. on Software Engineering Methodologies 18(4), pp. 1–56, doi:10.1145/1538942.1538945.
  27. Message Passing Interface Forum (2009): MPI: A Message-Passing Interface Standard Version 2.2.
  28. Robin Milner (2006): Pure bigraphs: Structure and dynamics. Information and Computation 204(1), pp. 60–122, doi:10.1016/j.ic.2005.07.003.
  29. Radhika Nagpal (2001): Programmable Self-Assembly: Constructing Global Shape using Biologically-inspired Local Interactions and Origami Mathematics. MIT, Cambridge, MA, USA.
  30. Ryan Newton & Matt Welsh (2004): Region Streams: Functional Macroprogramming for Sensor Networks. In: First International Workshop on Data Management for Sensor Networks (DMSN), pp. 78–87, doi:10.1145/1052199.1052213.
  31. Rocco De Nicola, Gianluigi Ferrari, Michele Loreti & Rosario Pugliese (2013): A Language-Based Approach to Autonomic Computing. In: Formal Methods for Components and Objects, Lecture Notes in Computer Science 7542, pp. 25–48, doi:10.1007/978-3-642-35887-6_2.
  32. Danilo Pianini, Jacob Beal & Mirko Viroli (2016): Improving Gossip Dynamics Through Overlapping Replicates. In: Alberto Lluch Lafuente & José Proença: Coordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, Lecture Notes in Computer Science 9686. Springer, pp. 192–207, doi:10.1007/978-3-319-39519-7_12.
  33. Danilo Pianini, Mirko Viroli & Jacob Beal (2015): Protelis: Practical Aggregate Programming. In: ACM Symposium on Applied Computing 2015, pp. 1846–1853, doi:10.1145/2695664.2695913.
  34. E. Sklar (2007): NetLogo, a multi-agent simulation environment. Artificial life 13(3), pp. 303–311, doi:10.1162/artl.2007.13.3.303.
  35. Mirko Viroli, Jacob Beal, Ferruccio Damiani & Danilo Pianini (2015): Efficient Engineering of Complex Self-Organising Systems by Self-Stabilising Fields. In: IEEE Conference on Self-Adaptive and Self-Organising Systems (SASO 2015). IEEE, doi:10.1109/SASO.2015.16.
  36. Mirko Viroli, Matteo Casadei, Sara Montagna & Franco Zambonelli (2011): Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces. ACM Transactions on Autonomous and Adaptive Systems 6(2), pp. 14:1 – 14:24, doi:10.1145/1968513.1968517.
  37. Mirko Viroli, Danilo Pianini, Sara Montagna & Graeme Stevenson (2012): Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry. In: Sascha Ossowski, Paola Lecca, Chih-Cheng Hung & Jiman Hong: 27th Annual ACM Symposium on Applied Computing (SAC 2012). ACM, Riva del Garda, TN, Italy, pp. 295–302, doi:10.1145/2245276.2245336.
  38. Kamin Whitehouse, Cory Sharp, Eric Brewer & David Culler (2004): Hood: a neighborhood abstraction for sensor networks. In: Proceedings of the 2nd international conference on Mobile systems, applications, and services. ACM Press, doi:10.1145/990064.990079.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org