79 citations · 424 across the 54 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.PL2009★ 12 cited
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
Luca Bortolussi, Alberto Policriti
We begin by reviewing a technique to approximate the dynamics of stochastic programs --written in a stochastic process algebra-- by a hybrid system, suitable to capture a mixed dis…