@misc{indiciae05a8a1b70d50,
  title = {CARMA: Collective Adaptive Resource-sharing Markovian Agents},
  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},
  year = {2015},
  doi = {10.4204/eptcs.194.2},
  url = {https://arxiv.org/abs/1509.08560},
  note = {Source identifier: 1509.08560}
}