On the Relationship Between Bisimulation and Trace Equivalence in an Approximate Probabilistic Context.

Gaoang Bian, Alessandro Abate

Browse the full FOSSACS paper archive.