Semi-pullbacks and bisimulations in categories of stochastic relations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2719, Issue , 2003, Pages 996-1007

  Doberkat, Ernst Erich ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Bisimulation; Hennessy Milner logic; Labelled Markov processes; Semi pullback; Stochastic relations

Indexed keywords

FAULT TOLERANCE; MARKOV PROCESSES;

BISIMULATIONS; HENNESSY-MILNER LOGICS; LABELLED MARKOV PROCESS; SEMI-PULLBACK; STOCHASTIC RELATIONS;

STOCHASTIC SYSTEMS;

EID: 33750716741     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45061-0_77     Document Type: Article

References (11)

1. S. Abramsky, R. Blute, and P. Panangaden. Nuclear and trace ideal in tensored *-categories. Journal of Pure and Applied Algebra, 143(1-3):3-47, 1999.
2. J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation of labelled markov-processes. Information and Computation, 179(2):163-193, 2002.
3. J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden. Approximating labeled Markov processes. In Proc. 15th Symposium on Logic in Computer Science, pages 95-106. IEEE, 2000.
4. E.-E. Doberkat. The demonic product of probabilistic relations. In Mogens Nielsen and Uffe Engberg, editors, Proc. Foundations of Software Science and Computation Structures, volume 2303 of Lecture Notes in Computer Science, pages 113-127, Berlin, 2002. Springer-Verlag.
5. E.-E. Doberkat. A remark on A. Edalat's paper Semi-Pullbacks and Bisimulations in Categories of Markov-Processes. Technical Report 125, Chair for Software Technology, University of Dortmund, July 2002.
6. A. Edalat. Semi-pullbacks and bisimulation in categories of Markov processes. Math. Struct. in Comp. Science, 9(5):523-543, 1999.
7. M. Giry. A categorical approach to probability theory. In Categorical Aspects of Topology and Analysis, volume 915 of Lecture Notes in Mathematics, pages 68-85, Berlin, 1981. Springer-Verlag.
8. C. J. Himmelberg and F. Van Vleck. Some selection theorems for measurable functions. Can. J. Math., 21:394-399, 1969.
9. K. R. Parthasarathy. Probability Measures on Metric Spaces. Academic Press, New York, 1967.
10. J. J. M. M. Rutten. Universal coalgebra: a theory of systems. Theoretical Computer Science, 249(1):3-80, 2000. Special issue on modern algebra and its applications.
11. S. M. Srivastava. A Course on Borel Sets. Number 180 in Graduate Texts in Mathematics. Springer-Verlag, Berlin, 1998.