57 citations · 219 across the 25 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015★ 11 cited
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…
cs.LO2015★ 4 cited
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…