Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
CARMA: Collective Adaptive Resource-sharing Markovian Agents
QAPL, 2015.
@inproceedings{QAPL-2015-BortolussiNGGHL,
author = "Luca Bortolussi and Rocco De Nicola and Vashti Galpin and Stephen Gilmore and Jane Hillston and Diego Latella and Michele Loreti and Mieke Massink",
booktitle = "{Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems}",
doi = "10.4204/EPTCS.194.2",
pages = "16--31",
series = "{EPTCS}",
title = "{CARMA: Collective Adaptive Resource-sharing Markovian Agents}",
volume = 194,
year = 2015,
}