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

136 Bisimulation for Labelled Markov Processes РRichard Blute, Jos̩e Desharnais, Abbas Edalat, Prakash Panangaden - 1997
407 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
1231 Markov decision processes: Discrete stochastic dynamic programming – M L Puterman - 1994
790 Denumerable Markov Chains – J Kemeny, J Snell, A Knapp - 1976
1390 Functional Analysis – W Rudin - 1973
1906 An Introduction to Probability Theory and its Applications – W Feller - 1950
607 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
610 A Compositional Approach to Performance Modelling – Jane Hillston - 1996
3242 Communication and Concurrency – R Milner - 1989