28 citations · 30 across the 2 of their papers we have counts for
2 papers
cs.LO2011★ 2 cited
Real-Reward Testing for Probabilistic Processes (Extended Abstract)
Yuxin Deng, Rob van Glabbeek, Matthew Hennessy +1
We introduce a notion of real-valued reward testing for probabilistic processes by extending the traditional nonnegative-reward testing with negative rewards. In this richer testin…
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…