Semi-pullbacks for stochastic relations over analytic spaces

Mathematical Structures in Computer Science

Volumn 15, Issue 4, 2005, Pages 647-670

  Doberkat, Ernst Erich ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 26944460186     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S096012950500472X     Document Type: Article

References (13)

1. Arveson, W. (1976) An Invitation to C*-Algebra, Graduate Texts in Mathematics, Springer-Verlag 39.
2. Desharnais, J., Edalat, A. and Panangaden, P. (2002) Bisimulation of labelled Markov-processes. Information and Computation 179 (2) 163-193.
3. Doberkat, E.-E. (2003) Semi-pullbacks and bisimulations in categories of stochastic relations. In: Proc. ICALP'03. Springer-Verlag Lecture Notes in Computer Science 2719 996-1007.
4. Doberkat, E.-E. (2004a) Factoring stochastic relations. Information Processing Letters 90 (4) 161-166.
5. Doberkat, E.-E. (2004b) Stochastic relations: congruences, bisimulations and the Hennessy-Milner Theorem. Technical Report 786, Department of Computer Science, University of Dortmund.
6. Edalat, A. (1999) Semi-pullbacks and bisimulation in categories of Markov processes. Mathematical Structures in Computer Science 9 (5) 523-543.
7. Himmelberg, C. J. (1975) Measurable relations. Fund. Math. 87 53-72.
8. Jacobs, K. (1978) Measure and Integral, Academic Press, New York.
9. Kechris, A. S. (1994) Classical Descriptive Set Theory, Graduate Texts in Mathematics, Springer-Verlag 156.
10. Mac Lane, S. (1997) Categories for the Working Mathematician, second edition, Graduate Texts in Mathematics, Springer-Verlag 5.
11. Parthasarathy, K. R. (1967) Probability Measures on Metric Spaces, Academic Press.
12. Srivastava, S. M. (1998) A Course on Borel Sets, Graduate Texts in Mathematics, Springer-Verlag 180.
13. Wagner, D.H. (1977) A survey of measurable selection theorems. SIAM J. Control Optim. 15 (5) 859-903.