"A Logical Characterization of Bisimulation for Labeled Markov Processes."

Josée Desharnais, Abbas Edalat, Prakash Panangaden (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics