57 citations · 219 across the 25 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2015★ 48 cited
CARMA: Collective Adaptive Resource-sharing Markovian Agents
Luca Bortolussi, Rocco De Nicola, Vashti Galpin +5
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 wit…
cs.PL2014★ 15 cited
Stochastically timed predicate-based communication primitives for autonomic computing
Diego Latella, Michele Loreti, Mieke Massink +1
Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of…