Josee Desharnais Radha Jagadeesan Vineet Gupta Prakash Panangaden The Metric Analogue of Weak Bisimulation for Probabilistic Processes. 413-422 2002 conf/lics/2002 LICS http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029849 db/conf/lics/lics2002.html#DesharnaisJGP02