Semi-pullbacks and Bisimulation in Categories of Markov Processes (1999)

Cached

Download Links

by Abbas Edalat
Citations:5 - 1 self

Active Bibliography

75 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
Testing for Simulation and Bisimulation in Labelled Markov Processes – Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
13 An Intrinsic Characterization of Approximate Probabilistic Bisimilarity – Franck Van Breugel, Michael Mislove, Joël Ouaknine, James Worrell - 2003
Approximating Markov Processes By Averaging – Philippe Chaput, Gordon Plotkin
3 On a Functor for Probabilistic Bisimulation and Preservation of Weak Pullbacks – E. P. De Vink - 1998
2 Taking Chances on || and fail: Extending Strong and Probabilistic Bisimulation – J. I. Den Hartog, E. P. De Vink - 1999
4 Possibilistic and Probabilistic Abstraction-Based Model Checking – Michael Huth - 2002
3 The Demonic Product of Probabilistic Relations – Ernst-erich Doberkat - 2001
Stochastic Pi-Calculus Revisited – Luca Cardelli, Radu Mardare
3 Exemplaric Expressivity of Modal Logics – Bart Jacobs, Ana Sokolova - 2008
3 Continuous Markovian Logic- From Complete Axiomatization to the Metric Space of Formulas – Luca Cardelli, Kim G. Larsen, Radu Mardare
12 Stochastic transition systems for continuous state spaces and non-determinism – Stefano Cattani, Roberto Segala, Marta Kwiatkowska, Gethin Norman - 2005
5 The Measurable Space of Stochastic Processes – Luca Cardelli, Radu Mardare - 2006
48 Metrics for Labelled Markov Systems – Josée Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2001
29 Stochastic processes as concurrent constraint programs – Vineet Gupta, Radha Jagadeesan, Prakash Panangaden - 1999
Bisimilar Hybrid Systems – Esfandiar Haghverdi, George J. Pappas, Paulo Tabuada
Abstractions of Stochastic Hybrid Systems – Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu - 2008
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
25 Bisimulation relations for dynamical, control, and hybrid systems – Esfandiar Haghverdi , Paulo Tabuada , G.J. Pappas - 2005