Bisimulation for labelled Markov processes (1997)

by R Blute, J Desharnais, A Edalat, P Panangaden
Venue:In Proc. of the Twelfth IEEE Symposium On Logic In Computer Science