Semi-pullbacks and bisimulation in categories of Markov processes

Mathematical Structures in Computer Science

Volumn 9, Issue 5, 1999, Pages 523--543

  Edalat, Abbas ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85014612819     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129599002819     Document Type: Article

References (12)

1. Arveson, W. (1976) An Invitation to C-Algebras, Springer-Verlag.
2. Blute, R., Desharnais, J., Edalat, A. and Pananagden, P. (1997) Bisimulation for labelled Markov processes. In: Twelfth Annual IEEE Symposium on Logic in Computer Science, IEEE.
3. Breiman, L. (1968) Probability, Addison-Weseley.
4. Desharnais, J., Edalat, A. and Pananagden, P. (1998) A logical characterization of bisimulation for labelled Markov processes. In: Thirteenth Annual IEEE Symposium on Logic in Computer Science (LICS), IEEE.
5. Dudley, R. M. (1989) Real Analysis and Probability, Wadsworth & Brooks/Cole.
6. Giry, M. (1981) A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. Springer-Verlag Lecture Notes in Mathematics 915 68–85.
7. Hoffmann-Jorgensen, J. (1970) The theory of analytic spaces. Various Publication Series 10, Mathematics Institute, Aarhus University.
8. Hoffmann-Jorgensen, J. (1994) Probability with a view toward statistics (in two volumes), Chapman & Hall.
9. Joyal, A., Nielsen, M. and Winskel, G. (1996) Bisimulation from open maps. Information and Computation 127 (2) 164–185.
10. Larsen, K. G. and Skou, A. (1991) Bisimulation through probabilistic testing. Information and Computation 94 1–28.
11. Pachl, J. (1978) Disintegration and compact measures. Math. Scand. 43 157–168.
12. Rudin, W. (1966) Real and Complex Analysis, McGraw-Hill.