Bisimulation for Labelled Markov Processes

   page       BibTeX_logo.png   
José Desharnais, Abbas Edalat, Prakash Panangaden
Information and Computation 179(2), pages 163–193
2002
journal or series
book Information and Computation (IC)