A behavioural pseudometric for probabilistic transition systems

Theoretical Computer Science

Volumn 331, Issue 1, 2005, Pages 115-142

  Van Breugel, Franck ^a   Worrell, James ^b  

^a YORK UNIVERSITY   (Canada)

^b Tulane University   (United States)

Author keywords

Probabilistic bisimilarity; Probabilistic transition system; Pseudometric; Real valued modal logic; Terminal coalgebra

Indexed keywords

APPROXIMATION THEORY; COMPUTER SIMULATION; ERROR ANALYSIS; MATHEMATICAL MODELS; MODAL ANALYSIS; SEMANTICS; THEOREM PROVING;

PROBABILISTIC BISIMILARITY; PROBABILISTIC TRANSITION SYSTEM; PSEUDOMETRIC; REAL-VALUED MODAL LOGIC; TERMINAL COALGEBRA;

PROBABILITY;

EID: 15744382538     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.09.035     Document Type: Conference Paper

References (34)

1. F. Alessi, P. Baldan, and G. Bellè A fixed-point theorem in a category of compact metric spaces Theoret. Comput. Sci. 146 1/2 1995 311 320
2. P. America, and J.J.M.M. Rutten Solving reflexive domain equations in a category of complete metric spaces J. Comput. System Sci. 39 3 1989 343 375
3. R.B. Ash, Real Analysis and Probability, Probability and Mathematical Statistics, Vol. 11, Academic Press, London, 1972.
4. C. Baier, and M. Kwiatkowska Domain equations for probabilistic processes Math. Structures Comput. Sci. 10 6 2000 665 717
5. M.F. Barnsley Fractals Everywhere second ed. 1993 Academic Press Boston
6. P. Billingsley Probability and Measure, Series in Probability and Mathematical Statistics third ed. 1995 Wiley New York
7. R. Blute, J. Desharnais, A. Edalat, P. Panangaden, Bisimulation for labelled Markov processes, in: Proc. 12th Annual IEEE Symp. on Logic in Computer Science, Warsaw, IEEE, New York, June/July 1997, pp. 149-158.
8. F. van Breugel, J. Worrell, An algorithm for quantitative verification of probabilistic systems, in: K.G. Larsen, M. Nielsen (Eds.), Proc. 12th Internat. Conf. on Concurrency Theory, Lecture Notes in Computer Science, Vol. 2154, Aalborg, Springer, Berlin, August 2001, pp. 336-350.
9. F. van Breugel, J. Worrell, Towards quantitative verification of probabilistic systems, in: F. Orejas, P.G. Spirakis, J. van Leeuwen (Eds.), Proc. 28th Internat. Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 2076, Crete, Springer, Berlin, July 2001, pp. 421-432.
10. J. Desharnais, Labelled Markov Processes, Ph.D. Thesis, McGill University, Montreal, November 1999.
11. J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, Metrics for labeled Markov systems, in: J.C.M. Baeten, S. Mauw (Eds.), Proc. 10th Internat. Conf. on Concurrency Theory, Lecture Notes in Computer Science, Vol. 1664, Eindhoven, Springer, Berlin, August 1999, pp. 258-273.
12. J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, Approximating labeled Markov processes, in: Proc. 15th Annual IEEE Symp. on Logic in Computer Science, Santa Barbara, IEEE, New York, June 2000, pp. 95-106.
13. G.A. Edgar Integral, Probability, and Fractal Measures 1998 Springer Berlin
14. A. Giacalone, C.-C. Jou, S.A. Smolka, Algebraic reasoning for probabilistic concurrent systems, in: Proc. IFIP WG 2.2/2.3 Working Conf. on Programming Concepts and Methods, Sea of Gallilee, North-Holland, Amsterdam, April 1990, pp. 443-458.
15. M. Giry, A categorical approach to probability theory, in: B. Banaschewski (Ed.), Proc. Internat. Conf. on Categorical Aspects of Topology and Analysis, Lecture Notes in Mathematics, Vol. 915, Ottawa, Springer, Berlin, August 1981, pp. 68-85.
16. R.J. van Glabbeek, S.A. Smolka, and B. Steffen Reactive, generative and stratified models of probabilistic processes Inform. and Comput. 121 1 1995 59 80
17. J.I. den Hartog, Probabilistic Extensions of Semantical Models, Ph.D. Thesis, Free University, Amsterdam, October 2002.
18. J.E. Hutchinson Fractals and self similarity Indiana Univ. Math. J. 30 5 1981 713 747
19. M. Huth, M. Kwiatkowska, Quantitative analysis and model checking, in: Proc. 12th Annual IEEE Symp. on Logic in Computer Science, Warsaw, IEEE, New York, June/July 1997, pp. 111-122.
20. L.V. Kantorovich, and G.S. Rubinstein On a functional space and certain extremum problems Dokl. Akad. Nauk SSSR 115 1957 1058 1061
21. D. Kozen A probabilistic PDL J. Comput. System Sci. 30 2 1985 162 178
22. M. Kwiatkowska, G.J. Norman, Probabilistic metric semantics for a simple language with recursion, in: W. Penczek, A. Szalas (Eds.), Proc. 21st Internat. Symp. on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, Vol. 1113, Cracow, Springer, Berlin, September 1996, pp. 419-430.
23. M. Kwiatkowska, G.J. Norman, A fully abstract metric-space denotational semantics for reactive probabilistic processes, in: A. Edalat, A. Jung, K. Keimel, M.Z. Kwiatkowska (Eds.) Proc. third Workshop on Computation and Approximation, Electronic Notes in Theoretical Computer Science, Vol. 13, Birmingham, Elsevier, Amsterdam, September 1997.
24. K.G. Larsen, and A. Skou Bisimulation through probabilistic testing Inform. and Comput. 94 1 1991 1 28
25. S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics, Vol. 5, Springer, Berlin, 1971.
26. G.J. Norman, Metric Semantics for Reactive Probabilistic Systems, Ph.D. Thesis, University of Birmingham, November 1997.
27. K.R. Parthasarathy Probability Measures on Metric Spaces 1967 Academic Press New York
28. S.T. Rachev Probability Metrics and the Stability of Stochastic Models 1991 Wiley Chichester
29. J.J.J.M. Rutten Universal coalgebra a theory of systems Theoret. Comput. Sci. 249 1 2000 3 80
30. W.A. Sutherland Introduction to Metric and Topological Spaces 1975 Clarendon Press Oxford
31. D. Turi, and J.J.J.M. Rutten On the foundations of final semantics non-standard sets, metric spaces, partial orders Math. Structures Comput. Sci. 8 5 1998 481 540
32. L.N. Vaserstein Markov processes on countable space products describing large systems of automata Problems Inform. Transmission 5 3 1969 47 52
33. E.P. de Vink, and J.J.M.M. Rutten Bisimulation for probabilistic transition systems a coalgebraic approach Theoret. Comput. Sci. 221 1/2 1999 271 293
34. J. Worrell, On Coalgebras and Final Semantics, Ph.D. Thesis, Oxford University, October 2000.