Bisimulation for Labelled Markov Processes (1997)

by Richard Blute , Josée Desharnais , Abbas Edalat , Prakash Panangaden
Venue:INFORMATION AND COMPUTATION
Citations:135 - 22 self

Document Versions

Bisimulation for Labelled Markov Processes –Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden — 1997 — INFORMATION AND COMPUTATION
Approximating Labelled Markov Processes –Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden — 2001
Approximating Labeled Markov Processes –Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden — Information and Computation
Approximation of labeled markov processes –Josée Desharnais, Université Laval, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden — 2000 — In Proceedings of the Fifteenth Annual IEEE Symposium On Logic In Computer Science
Bisimulation for Labeled Markov Processes –Richard Blute, Abbas Edalat, Prakash Panangaden — 1997 — Information and Computation
Bisimulation for Labelled Markov Processes –Josée Desharnais, Abbas Edalat, Prakash Panangaden — 1999
Bisimulation for Labeled Markov Processes –Richard Blute, Abbas Edalat, Prakash Panangaden — 1997 — Information and Computation