Bisimulation and trace equivalence in an approximate probabilistic context

   Abstract