• DOI:10.4204/EPTCS.194.2
Corpus ID: 2642831

CARMA: Collective Adaptive Resource-sharing Markovian Agents

@inproceedings{Bortolussi2015CARMACA,
  title={CARMA: Collective Adaptive Resource-sharing Markovian Agents},
  author={L. Bortolussi and R. Nicola and V. Galpin and S. Gilmore and J. Hillston and D. Latella and M. Loreti and M. Massink},
  booktitle={QAPL},
  year={2015}
}

L. Bortolussi, R. Nicola, +5 authors M. Massink

Published in QAPL 2015

Computer Science

In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped with linguistic constructs specifically developed for modelling and programming systems that can operate in open-ended and unpredictable environments. This class of systems is typically composed of a huge number of interacting agents that dynamically adjust and combine their behaviour to achieve specific goals. A CARMA… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed