CARMA: Collective Adaptive Resource-sharing Markovian Agents

CARMA: Collective Adaptive Resource-sharing Markovian Agents

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...

Full description

Bibliographic Details
Main Authors: Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
Format: Article
Language:English
Published: Open Publishing Association 2015-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1509.08560v1

Internet

http://arxiv.org/pdf/1509.08560v1

Similar Items