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…