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

by J Desharnais, R Jagadeesan, V Gupta, P Panangaden
Venue:in ‘Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science’, IEEE Computer Society