On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version)

Gaoang Bian, Alessandro Abate

This work introduces a notion of approximate probabilistic trace equivalence for labelled Markov chains, and relates this new concept to the known notion of approximate probabilist…