The Demonic Product of Probabilistic Relations (2001)

Cached

Download Links

by Ernst-erich Doberkat
Citations:3 - 1 self

Active Bibliography

Pipes and Filters: Modelling a Software Architecture Through Relations – Ernst-Erich Doberkat - 2002
Testing for Simulation and Bisimulation in Labelled Markov Processes – 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
4 Possibilistic and Probabilistic Abstraction-Based Model Checking – Michael Huth - 2002
10 Duality for Labelled Markov Processes – Michael Mislove , Joël Ouaknine, Dusko Pavlovic, James Worrell
13 An Intrinsic Characterization of Approximate Probabilistic Bisimilarity – Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
3 Exemplaric Expressivity of Modal Logics – Bart Jacobs, Ana Sokolova - 2008
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
22 Modular construction of modal logics – Corina Cîrstea, Dirk Pattinson - 2004
2 Weak Bisimulation for Action-Type Coalgebras – Ana Sokolova, Erik de Vink, Harald Woracek
42 Metrics for Labelled Markov Systems – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2001
3 On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks – E. P. De Vink - 1998
7 Structural Operational Semantics for Stochastic Process Calculi – Bartek Klin, Vladimiro Sassone
Causal Theories: A Categorical Perspective on Bayesian Networks – Brendan Fong
6 Probabilistic Relations – Prakash Panangaden - 1998
Approximating Markov Processes By Averaging – Philippe Chaput, Gordon Plotkin
Table of Contents General Information 1 Editor’s Letter — Ross – unknown authors
1 A Companion to Coalgebraic Weak Bisimulation for Action-Type Systems ∗ – Ana Sokolova, Erik Vink, Harald Woracek
5 Semi-pullbacks and Bisimulation in Categories of Markov Processes – Abbas Edalat - 1999