Bisimulation for Labelled Markov Processes.

Richard Blute, Jose Desharnais, Abbas Edalat, Prakash Panangaden

Browse the full LICS paper archive.