57 citations · 278 across the 28 of their papers we have counts for
3 papers · 1 filter
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
Diego Latella, Mieke Massink, Erik P De Vink
Labeled state-to-function transition systems, FuTS for short, are characterized by transitions which relate states to functions of states over general semirings, equipped with a ri…
A Definition Scheme for Quantitative Bisimulation
Diego Latella, Mieke Massink, Erik de Vink
FuTS, state-to-function transition systems are generalizations of labeled transition systems and of familiar notions of quantitative semantical models as continuous-time Markov cha…
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…