A logical characterization of bisimulation for labeled Markov processes (1998)

by J Desharnais, A Edalat, P Panangaden
Venue:Proc. LICS’98