@Inproceedings{EPTCS194.2, author = {Bortolussi, Luca and De Nicola, Rocco and Galpin, Vashti and Gilmore, Stephen and Hillston, Jane and Latella, Diego and Loreti, Michele and Massink, Mieke}, year = {2015}, title = {CARMA: Collective Adaptive Resource-sharing Markovian Agents}, editor = {Bertrand, Nathalie and Tribastone, Mirco}, booktitle = {{\rm Proceedings Thirteenth Workshop on} Quantitative Aspects of Programming Languages and Systems, {\rm London, UK, 11th-12th April 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {194}, publisher = {Open Publishing Association}, pages = {16-31}, doi = {10.4204/EPTCS.194.2}, }