A logical characterization of bisimulation for labeled Markov processes

Proceedings - Symposium on Logic in Computer Science

Volumn 1998-June, Issue , 1998, Pages 478-487

  Desharnais, Josée ^a   Edalat, Abbas ^b   Panangaden, Prakash ^a  

^a MCGILL UNIVERSITY   (Canada)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES;

BISIMILARITY; BISIMULATIONS; FINITE STATE SYSTEMS; LABELED MARKOV PROCESS; LOGICAL CHARACTERIZATION; MODAL LOGIC; PROBABILISTIC BISIMULATIONS;

COMPUTER CIRCUITS;

EID: 85022932854     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.1998.705681     Document Type: Conference Paper

References (24)

1. W. Arveson. An Invitation to C-Algebra. Springer-Verlag, 1976.
2. C. Baier and M. Kwiatkowska. Domain equations for probabilistic processes. Available from URL http://www.cs.bham.ac.uk/mzk/March 1996.
3. A. Benveniste, B. C. Levy, E. Fabre, and P. L. Guernic. A calculus of stochastic systems for the specification, simulation and hidden state estimation of mixed stochastic/nonstochastic systems. Theoretical Computer Science, 152(2):171-217, 1995.
4. P. Billingsley. Probability and Measure. Wiley-Interscience, 1995.
5. R. Blute, J. Desharnais, A. Edalat, and P. Panangaden. Bisimulation for labelled markov processes. In Proceedings of the Twelfth IEEE Symposium On Logic In Computer Science, Warsaw, Poland., 1997.
6. L. Breiman. Probability. Addison-Wesley, 1968.
7. R. Cleaveland. On automatically explaining bisimulation inequivalence. In E. Clarke and R. Kurshan, editors, Computer-Aided Verification CAV 90, number 531 in Lecture Notes in Computer Science, pages 364-372, 1990.
8. R. Cleaveland, S. Smolka, and A. Zwarico. Testing preorders for probabilistic processes. In Proceedings of the International Colloquium On Automata Languages And Programming 1992, number 623 in Lecture Notes In Computer Science. Springer-Verlag, 1992.
9. D. R. Cox and H. D. Miller. The Theory of Stochastic Processes. Chapman and Hall, 1965.
10. E. de Vink and 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.
11. J. L. Doob. Stochastic Processes. Wiley Classics Library. Wiley-Interscience, 1953.
12. A. Edalat. Semi-pullbacks in cartegories of markov procosses. Submitted to Mathematical Structures in Computer Science. Available in WWW from http://theory.doc.ic.ac.uk:80/ae, 1997.
13. V. Gupta, R. Jagadeesan, and V. Saraswat. Probabilistic concurrent constraint programming. In A. Mazurkiewicz and J.Winkowski, editors, Proceedings of CONCUR97, volume 1243 of Lecture Notes In Computer Science. Springer- Verlag, 1997.
14. V. Gupta, V. Saraswat, and P. Struss. A model of a photocopier paper path. In Proceedings of the 2nd IJCAI Workshop on Engineering Problems for Qualitative Reasoning, 1995.
15. J. Hillston. A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh, 1994. To be published as a Distinguished Dissertation by Cambridge University Press.
16. M. Huth and M. Kwiatkowska. On probabilistic model checking. Technical Report CSR-96-15, University of Birmingham, 1996. available from http://www.cs.bham.ac.uk/mzk/.
17. B. Jonsson and K. Larsen. Specification and refinement of probabilistic processes. In Proceedings of the 6th Annual IEEE Symposium On Logic In Computer Science, 1991.
18. B. Jonsson and W. Yi. Compositional testing preorders for probabilistic processes. In Proceedings of the 10th Annual IEEE Symposium On Logic In Computer Science, pages 431-441, 1995.
19. C. Jou and S. Smolka. Equivalences, congruences and complete axiomatizations for probabilistic processes. In CONCUR 90, number 458 in Lecture Notes In Computer Science, 1990.
20. A. Joyal, M. Nielsen, and G. Winskel. Bisimulation from open maps. Information and Computation, 127(2):164-185, 1996.
21. K. G. Larsen and A. Skou. Bisimulation through probablistic testing. Information and Computation, 94:1-28, 1991.
22. J. J. K. Rajeev Alur, Lalita Jategaonkar Jagadeesan and J. E. von Olnhausen. Model-checking of real-Time systems: A telecommunications application. In Proceedings of the 19th International Conference on Software Engineering, 1997.
23. R. Segala and N. Lynch. Probabilistic simulations for probabilistic processes. In B. Jonsson and J. Parrow, editors, Proceedings of CONCUR94, number 836 in Lecture Notes In Computer Science, pages 481-496. Springer-Verlag, 1994.
24. R. van Glabbeek, S. Smolka, B. Steffen, and C. Tofts. Reactive generative and stratified models for probabilistic processes. In Proceedings of the 5th Annual IEEE Symposium On Logic In Computer Science, 1990.