autore : Abbas Edalat
1
pubblicazione
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