Bisimulation and cocongruence for probabilistic systems

Information and Computation

Volumn 204, Issue 4, 2006, Pages 503-523

  Danos, Vincent ^a   Desharnais, Josée ^b   Laviolette, François ^b   Panangaden, Prakash ^c  

^a UNIVERSITÉ PARIS DESCARTES   (France)

^b UNIVERSITÉ LAVAL   (Canada)

^c MCGILL UNIVERSITY   (Canada)

Author keywords

Coalgebras; Cocongruence; Labelled Markov processes; Probabilistic bisimulation; Probabilistic processes

Indexed keywords

COMPUTATIONAL METHODS; INFORMATION SYSTEMS;

COALGEBRAS; COCONGRUENCE; LABELLED MARKOV PROCESS; PROBABILISTIC BISIMULATIONS; PROBABILISTIC PROCESS;

MARKOV PROCESSES;

EID: 84855188426     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/j.ic.2005.02.004     Document Type: Article

References (23)

1. F. Bartels, A. Sokolova, E. P. de Vink, A hierarchy of probabilistic system types, Theoret. Comput. Sci. 327(2004) 3-22.
2. R. Blute, J. Desharnais, A. Edalat, P. Panangaden, Bisimulation for labelled Markov processes, in: Proceedings of the Twelfth IEEE Symposium on Logic in Computer Science, Warsaw, Poland, 1997.
3. V. Danos, J. Desharnais, Labeled Markov processes: stronger and faster approximations, in: Proceedings of the 18th Symposium on Logic in Computer Science, Ottawa, IEEE, 2003.
4. E. de Vink, J. J. M. M. Rutten, Bisimulation for probabilistic transition systems: a coalgebraic approach, in: Proceedings of the 24th International Colloquium on Automata Languages and Programming, 1997.
5. E. de Vink, J. J. M. M. Rutten, Bisimulation for probabilistic transition systems: a coalgebraic approach, Theoret. Comput. Sci. 221 (1/2) (1999) 271-293. (Pubitemid 129608969)
6. J. Desharnais, A. Edalat, P. Panangaden, A logical characterization of bisimulation for labelled Markov processes, in: Proceedings of the 13th IEEE Symposium on Logic in Computer Science, IEEE Press, Indianapolis, 1998, pp. 478-489.
7. J. Desharnais, A. Edalat, P. Panangaden, Bisimulation for labeled Markov processes, Inform. Comput. 179(2) (2002) 163-193.
8. J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, Metrics for labeled Markov systems, in: Proceedings of CONCUR99, Lecture Notes in Computer Science, vol. 1664, Springer-Verlag, Berlin, 1999.
9. J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, Approximation of labeled Markov processes, in: Proceedings of the Fifteenth Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, Silver Spring, MD, 2000, pp. 95-106.
10. J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, The metric analogue of weak bisimulation for labelled Markov processes, in: Proceedings of the Seventeenth Annual IEEE Symposium on Logic in Computer Science, 2002, pp. 413-422.
11. J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, Approximating labeled Markov processes, Inform. Comput. 184(1) (2003) 160-200.
12. J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, A metric for labelled Markov processes, Theoret. Comput. Sci. 318(3) (2004) 323-354.
13. J. Desharnais, P. Panangaden, Continuous stochastic logic characterizes bisimulation for continuous-time Markov processes, J. Logic Algebraic Programming 56(2003) 99-115, Special issue on Probabilistic Techniques for the Design and Analysis of Systems.
14. E.-E. Doberkat, Semi-pullbacks and bisimulations in categories of stochastic relations, in: J. C. M. Baeten, J. K. Lenstra, J. Parrow, G. J. Woeinger (Eds.), Proceedings of the 27th International Colloquiumon Automata Languages and Programming, ICALP'03, Lecture Notes in Computer Science, vol. 2719, Springer-Verlag, Berlin, 2003, pp. 996-1007.
15. A. Edalat, Semi-pullbacks and bisimulation in categories of Markov processes, Math. Struct. Comput. Sci. 9(5) (1999) 523-543.
16. M. Giry, A categorical approach to probability theory, in: B. Banaschewski (Ed.), Categorical Aspects of Topology and Analysis, Lecture Notes in Mathematics, vol. 915, Springer-Verlag, Berlin, 1981, pp. 68-85.
17. J. G. Kemeny, J. L. Snell, Finite Markov Chains, Van Nostrand, New York, 1960.
18. K. G. Larsen, A. Skou, Bisimulation through probabilistic testing, Inform. Comput. 94(1991) 1-28. (Pubitemid 21694897)
19. P. Panangaden, The category of Markov processes, ENTCS 22(1999) 17. .
20. Martin L. Puterman, Markov Decision Processes: Discrete Stochastic Dynamic Programming, Wiley, New York, 1994.
21. Franck van Breugel, James Worrell, An algorithm for quantitative verification of probabilistic systems, in: K. G. Larsen, M. Nielsen (Eds.), Proceedings of the Twelfth International Conferenceon Concurrency Theory-CONCUR'01, Lecture Notes In Computer Science, vol. 2514, Springer-Verlag, Berlin, 2001, pp. 336-350. (Pubitemid 33326666)
22. Franck van Breugel, James Worrell, Towards quantitative verification of probabilistic systems, in: Proceedings of the Twenty-eighth International Colloquiumon Automata, Languages and Programming, Springer-Verlag, Berlin, 2001.
23. David Williams, Probability with Martingales, CUP, Cambridge, 1991.