Aggregate Programming: From Foundations to Applications

@inproceedings{aggregate-computing-sfm2016,
   apice = {AggregateComputingSFM2016},
   author = {Jacob Beal and Mirko Viroli},
   booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures},
   doi = {10.1007/978-3-319-34096-8\_8},
   editor = {Marco Bernardo and Rocco De Nicola and Jane Hillston},
   isbn = {978-3-319-34095-1},
   pages = {233--260},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {Aggregate Programming: From Foundations to Applications},
   url = {https://doi.org/10.1007/978-3-319-34096-8_8},
   volume = 9700,
   year = 2016
}