Aggregate Programming: From Foundations to Applications
![]() |
![]() |
author = {Jacob Beal and
Mirko Viroli},
title = {Aggregate Programming: From Foundations to Applications},
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},
pages = {233--260},
year = {2016},
url = {http://dx.doi.org/10.1007/978-3-319-34096-8_8},
doi = {10.1007/978-3-319-34096-8\_8},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
series = {Lecture Notes in Computer Science},
volume = {9700},
publisher = {Springer},
year = {2016},
isbn = {978-3-319-34095-1}
}