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
48 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
IEEE TRANSACTIONS ON AUTOMATIC CONTROL 1 Optimal Supervisory Control of Probabilistic Discrete Event Systems – Vera Pantelic, Mark Lawford, Senior Member
Corresponding Author: – Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky, Alessandra Di Pierro
22 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
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
13 An Intrinsic Characterization of Approximate Probabilistic Bisimilarity – Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
Testing for Simulation and Bisimulation in Labelled Markov Processes – Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
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