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

by J Desharnais, A Edalat, P Panangaden
Venue:In Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS