Bisimulation for Labelled Markov Processes (1997)

by Jos Ee Desharnais , Josee Desharnais , Richard Blute , Richard Blute , Abbas Edalat , Abbas Edalat , Prakash Panagaden , Prakash Panangaden
Venue:Information and Computation
Citations:120 - 17 self

Document Versions

Bisimulation for Labelled Markov Processes –Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, 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
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