A Logical Characterization of Bisimulation for Labeled Markov Processes.

Jose Desharnais, Abbas Edalat, Prakash Panangaden

Browse the full LICS paper archive.