author : Prakash Panangaden
1
publication
Bisimulation for Labelled Markov Processes (Information and Computation, 2002) — José Desharnais, Abbas Edalat, Prakash Panangaden Bisimulation for Labelled Markov Processes (Information and Computation, 2002) — José Desharnais, Abbas Edalat, Prakash Panangaden