Duality for Labelled Markov Processes

by Michael Mislove , Joël Ouaknine , Dusko Pavlovic , James Worrell
Citations:10 - 1 self

Active Bibliography

1 An algorithm to quantify behavioural similarity between probabilistic systems – Babita Sharma - 2006
7 Deriving syntax and axioms for quantitative regular behaviours – Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Alexandra Silva - 2009
42 Metrics for Labelled Markov Systems – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2001
23 Axiomatizations for probabilistic finite-state behaviors – Yuxin Deng , Catuscia Palamidessi - 2006
Axiomatizations for probabilistic finite-state behaviors ⋆ – Yuxin Deng A, Catuscia Palamidessi B
1 Verifying Statistical Zero Knowledge with Approximate Implementations ⋆ – Ling Cheung, Sayan Mitra, Olivier Pereira
18 Equational axioms for probabilistic bisimilarity – Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir - 2002
24 Axioms for Probability and Nondeterminism – Michael Mislove, Joël Ouaknine, James Worrell - 2003
2 Proving Approximate Implementations for Probabilistic I/O Automata?? Abstract – Sayan Mitra, Nancy Lynch - 2006
2 Optimal Supervisory Control of Probabilistic Discrete Event Systems – Vera Pantelic, Mark Lawford - 2011
21 Quantitative Relations and Approximate Process Equivalences – Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky - 2003
3 The Demonic Product of Probabilistic Relations – Ernst-erich Doberkat - 2001
13 An Intrinsic Characterization of Approximate Probabilistic Bisimilarity – Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
Testing for Simulation and Bisimulation in Labelled Markov Processes – Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
17 Compositional reasoning for probabilistic finite-state behaviors – Yuxin Deng, Catuscia Palamidessi, Jun Pang - 2005
2 CONTINUOUS MARKOVIAN LOGICS AXIOMATIZATION AND QUANTIFIED METATHEORY – Radu Mardare, Luca Cardelli, Kim G. Larsen - 2011
Almost Sure Bisimulation in Labelled Markov Processes – Vincent Danos, François Laviolette, Josée Desharnais, Université Laval, Prakash Panangaden - 2005
14 Weak Bisimulation is Sound and Complete for PCTL – Josee Desharnais, Vineet Gupta, Prakash Panangaden, Radha Jagadeesan - 2002