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

Cached

Download Links

by Abbas Edalat
Citations:5 - 1 self

Documents Related by Co-Citation

134 Bisimulation for Labelled Markov Processes – Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden - 1997
401 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
11 Theoretical foundations of general stochastic hybrid processes – M L Bujorianu, J Lygeros - 2004
2 Semi-groupes deterministes – M Hmissi - 1989
2 Morphisms for semi-dynamical systems – E Popa, L Popa
2 Bisimulation for communicating pdps – S N Strubbe, A J van der Schaft - 2005
2 Stochastic markovian switching hybrid processes – C Yuan, J Lygeros - 2004
116 Bisimulation from Open Maps – André Joyal, Mogens Nielsen, Mogens Nielsen, Glynn Winskel, Glynn Winskel - 1994
25 Bisimulation relations for dynamical, control, and hybrid systems – Esfandiar Haghverdi , Paulo Tabuada , G.J. Pappas - 2005
24 Reachability questions in piecewise deterministic Markov processes – M L Bujorianu, J Lygeros - 2003
23 General stochastic hybrid systems: Modelling and optimal control – Manuela L. Bujorianu, John Lygeros - 2004
33 A Logical Characterization of Bisimulation for Labeled Markov Processes – Josee Desharnais, Abbas Edalat, Prakash Panangaden - 1998
74 Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach – E.P. de Vink, J.J.M.M. Rutten - 1998
135 Semantics of probabilistic programs – D Kozen - 1981
22 CPO’s of measures for nondeterminism – N Saheb-Djahromi - 1980
1 A categorical approach to probability theory, in: B. Banaschewski (Ed.), Categorical Aspects of Topology and Analysis – M Giry - 1981
2 Processus de Markov – P A Meyer - 1976
1 S.: Towards a Formalization of Viewpoints Testing – M C Bujorianu, M L Bujorianu, Maharaj - 2002
1 der: Bisimulation of Dynamical Systems – A J van Schaft