11 citations · 20 across the 9 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
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★ 1 cited
Rooted branching bisimulation as a congruence for probabilistic transition systems
Matias D. Lee, Erik P. de Vink
We propose a probabilistic transition system specification format, referred to as probabilistic RBB safe, for which rooted branching bisimulation is a congruence. The congruence th…
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…