76 citations · 156 across the 20 of their papers we have counts for
Showing 2011Show all
3 papers · 1 filter
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.PL2011★ 2 cited
Program Equivalence in Linear Contexts
Yuxin Deng, Yu Zhang
Program equivalence in linear contexts, where programs are used or executed exactly once, is an important issue in programming languages. However, existing techniques like those ba…
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…