Bisimulation for Labelled Markov Processes (1997)

by Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden
Venue:INFORMATION AND COMPUTATION