17 citations · 22 across the 5 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
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★ 3 cited
SOS rule formats for convex and abstract probabilistic bisimulations
Pedro R. D'Argenio, Matias David Lee, Daniel Gebler
Probabilistic transition system specifications (PTSSs) in the format provide structural operational semantics for Segala-type systems that exhibit both probabilisti…