Duality for Labelled Markov Processes

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

Documents Related by Co-Citation

139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
45 Metrics for Labelled Markov Processes – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2003
98 A probabilistic PDL – D Kozen - 1985
14 Bisimulation and cocongruence for probabilistic systems – V Danos, J Desharnais, F Laviolette, P Panangaden - 2005
56 The Metric Analogue of Weak Bisimulation for Probabilistic Processes – Josee Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2002
31 A.: Duality for Logics of Transition Systems – M M Bonsangue, Kurz - 2005
7 Powerdomains and Predicate Transformers – M Smyth
19 Bisimulation through probablistic testing – K G Larsen, A Skou - 1991
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
13 Testing semantics: connecting processes and process logics – Dusko Pavlovic, Michael Mislove, James B. Worrell - 2006
4 Equivalences, congruences and complete approximations for probabilistic processes – C-C Jou, S A Smolka - 1990
6 Approximate simulations for task-structured probabilistic I/O automata – Sayan Mitra, Nancy Lynch - 2006
24 Axioms for Probability and Nondeterminism – Michael Mislove, Joël Ouaknine, James Worrell - 2003
6 Approximate reasoning for real-time probabilistic processes – Vineet Gupta, Google Inc, Radha Jagadeesan, Prakash Panangaden - 2004
18 Task-structured probabilistic I/O automata – Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, Roberto Segala - 2006
41 A categorical approach to probability theory – M Giry - 1981
136 Semantics of probabilistic programs – D Kozen - 1981
10 Stochastic Relations. Foundations for Markov Transition Systems. Chapman and Hall/CRC – E Doberkat - 2007
822 Planning and acting in partially observable stochastic domains – Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra - 1998