Bisimulation for Labelled Markov Processes

   page       BibTeX_logo.png   
José Desharnais, Abbas Edalat, Prakash Panangaden
Information and Computation 179(2), pp. 163193
2002