Stochastic relations: Congruences, bisimulations and the Hennessy-Milner theorem

SIAM Journal on Computing

Volumn 35, Issue 3, 2005, Pages 590-626

  Doberkat, Ernst Erich ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Bisimulations; Congruences; Hennessy Milner theorem; Modal logic; Stochastic Kripke models; Stochastic relations

Indexed keywords

COMPUTER SIMULATION; FORMAL LOGIC; MATHEMATICAL MODELS; THEOREM PROVING;

CONGRUENCES; KRIPKE MODELS; MODAL LOGIC; STOCHASTIC RELATIONS;

RANDOM PROCESSES;

EID: 33646395554     PISSN: 00975397     EISSN: None     Source Type: Journal    
DOI: 10.1137/S009753970444346X     Document Type: Article

References (27)

1. S. ABRAMSKY, R. BLUTE, AND P. PANANGADEN, Nuclear and trace ideal in tensored *categories, J. Pure Appl. Algebra, 143 (1999), pp. 3-47.
2. C. BAIER, B. HAVERKORT, H. HERMANNS, AND J.-P. KOERT, Model-checking algorithms for continuous time Markov chains, IEEE Trans. Softw. Eng., 29 (2003), pp. 524-541.
3. P. BLACKBURN, M. DE RJIKE, AND Y. VENEMA, Modal Logic, Cambridge Tracts Theoret. Comput. Sci. 53, Cambridge University Press, Cambridge, UK, 2001.
4. J. BRYANS, H. BOWMAN, AND J. DERRICK, Model checking stochastic automata, ACM Trans. Comput. Log., 4 (2003), pp. 452-492.
5. C. CÎRSTEA, On logics for coalgebraic simulation, in Proceedings of the 7th International Work-shop on Coalgebraic Methods in Computer Science (Barcelona, Spain), Electron Notes Theor. Comput. Sci. 106, Elsevier, Amsterdam, 2004, pp. 63-90.
6. J. DESHARNAIS, A. EDALAT, AND P. PANANGADEN, Bisimulation for labelled Markov processes, Inform, and Comput., 179 (2002), pp. 163-193.
7. J. DESHARNAIS, R. JAGADEESAN, V. GUPTA, AND P. PANANGADEN, Approximating labeled Markov processes, in Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA, 2000, IEEE Computer Society, Los Alamitos, CA, 2000, pp. 95-106.
8. J. DESHARNAIS AND P. PANANGADEN, Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes, J. Log. Algebr. Program., 56 (2003), pp. 99-115.
9. E.-E. DOBERKAT, Semipullbacks and bisimulations in categories of stochastic relations, in Proceedings of the ICALP '03, Lecture Notes in Comput. Sci. 2719, Springer-Verlag, Berlin, 2003, pp. 996-1007.
10. E.-E. DOBERKAT, The converse of a stochastic relation, J. Log. Algebr. Program., 62 (2005), pp. 133-154.
11. E.-E. DOBERKAT, Factoring stochastic relations, Inform. Process. Lett., 90 (2004), pp. 161-166.
12. E.-E. DOBERKAT, Look: Simple stochastic relations are just, well, simple, in Proceedings of the Conference on Algebra and Coalgebra in Computer Science, J. Fiadeiro and J. Rutten, eds., Lecture Notes in Comput. Sci. 3629, Springer-Verlag, Berlin, 2005, pp. 128-142.
13. E.-E. DOBERKAT, Semipullbacks for stochastic relations over analytic spaces, Math. Structures Comput. Sci., 15 (2005), pp. 647-670.
14. C. J. HIMMELBERG, Measurable relations, Fund. Math., 87 (1975), pp. 53-72.
15. A. JOYAL, M. NIELSEN, AND G. WINSKEL, Bisimulation from open maps, Inform, and Comput., 127 (1996), pp. 164-185.
16. D. E. KOZEN, Semantics of probabilistic programs, J. Comput. Systems Sci., 22 (1981), pp. 328-350.
17. C. A. KUPKE, A. KURZ, AND Y. VENEMA, Stone coalgebras, Theoret. Comput. Sci., 327 (2004), pp. 109-134.
18. K. G. LARSEN AND A. SKOU, Bisimulation through probabilistic testing, Inform, and Comput., 94 (1991), pp. 1-28.
19. C. MORGAN, A. McIVER, AND K. SEIDEL, Probabilistic, predicate transformers, ACM Trans. Prog. Lang. Syst., 18 (1996), pp. 325-353.
20. L. S. Moss AND I. VIGLIZZO, Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories, Tech. report, Department of Mathematics, Indiana University, Bloom-ington, IN, 2004.
21. M. NARASIMHA, R. CLEAVELAND, AND P. IYER, Probabilistic temporal logics via the modal mucalculus, in Proceedings of the FOSSACS'99, Amsterdam, The Netherlands, Lecture Notes in Comput. Sci. 1578, W. Thomas, ed., Springer-Verlag, Berlin, 1999, pp. 288-305.
22. P. PANANGADEN, Stochastic Techniques in Concurrency, Tech. report, BRICS, Department of Computer Science, University of Aarhus, Aarhus, Denmark, 1997.
23. P. PANANGADEN, Probabilistic relations, in Proc. PROBMIV '98, C. Baier, M. Huth, M. Kwiatkowska, and M. Ryan, eds., Electron. Notes Theor. Comput. Sci. 22, Elsevier, Amsterdam, 1999, pp. 59-74.
24. K. R. PARTHASARATHY, Probability Measures on Metric Spaces, Academic Press, New York, 1967.
25. J. J. M. M. RUTTEN, Universal coalgebra: A theory of systems, Theoret. Comput. Sci., 249 (2000), pp. 3-80. Special issue on modern algebra and its applications.
26. S. M. SRIVASTAVA, A Course on Borel Sets, Grad. Texts in Math. 180, Springer-Verlag, New York, 1998.
27. D. H. WAGNER, A survey of measurable selection theorems, SIAM J. Control Optim., 15 (1977), pp. 859-903.