The metric analogue of weak bisimulation for probabilistic processes (2002)

by J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Venue:In Proc. 17th IEEE Symp. Logic in Comp. Sci