42 citations · 72 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2015★ 2 cited
Modal Characterisations of Behavioural Pseudometrics
Yuxin Deng, Wenjie Du, Daniel Gebler
For the model of probabilistic labelled transition systems that allow for the co-existence of nondeterminism and probabilities, we present two notions of bisimulation metrics: one…
cs.LO2011★ 28 cited
Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation
Yuxin Deng, Wenjie Du
Many behavioural equivalences or preorders for probabilistic processes involve a lifting operation that turns a relation on states into a relation on distributions of states. We sh…