On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context. - Gaoang Bian; Alessandro Abate (FoSSaCS, 2017)

On the Relationship between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context (Extended Version). - Gaoang Bian; Alessandro Abate (CoRR, 2017)