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