Domain theory, testing and simulation for labelled Markov processes

Theoretical Computer Science

Volumn 333, Issue 1-2, 2005, Pages 171-197

  Van Breugel, Franck ^a   Mislove, Michael ^b   Ouaknine, Joël ^c   Worrell, James ^b  

^a YORK UNIVERSITY   (Canada)

^b Tulane University   (United States)

^c Carnegie Mellon University   (United States)

Author keywords

Bisimulation; Domain theory; Labelled Markov process; Measure theory; Testing

Indexed keywords

APPROXIMATION THEORY; COMPUTER SIMULATION; FRACTALS; PROBABILITY; TESTING; TOPOLOGY;

BISIMULATION; DOMAIN THEORY; LABELED MARKOV PROCESS; MEASURE THEORY;

MARKOV PROCESSES;

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

References (24)

1. S. Abramsky Observation equivalence as a testing equivalence Theoret. Comput. Sci. 53 1987 225 241
2. J. Adámek, and V. Koubek On the greatest fixed point of a set functor Theoret. Comput. Sci. 150 1995 57 75
3. M. Alvarez-Manilla, A. Edalat, and N. Saheb-Djahromi An extension result for continuous valuations J. London Math. Soc. 61 2 2000 629 640
4. *-Algebras 1976 Springer Berlin
5. B. Bloom, and A. Meyer Experimenting with process equivalence Theoret. Comput. Sci. 101 1992 223 237
6. F. van Breugel, M. Mislove, J. Ouaknine, J. Worrell, An intrinsic characterization of approximate probabilistic bisimilarity, in: Proc. Foundations of Software Science and Computation Structures (FOSSACS 03), Lecture Notes in Computer Science, Vol. 2620, Springer, Berlin, 2003.
7. F. van Breugel, S. Shalit, J. Worrell, Testing labelled Markov processes, in: Proc. 29th Internat. Colloq. on Automata, Languages and Programming, Lecture Notes in Computer Science, Vol. 2380, Springer, Berlin, 2002.
8. F. van Breugel, J. Worrell, A behavioural pseudometric for probabilistic transition systems, Theoret. Comput. Sci., to appear.
9. J. Desharnais, A. Edalat, and P. Panangaden Bisimulation for labelled Markov processes Inform. Comput. 179 2 2002 163 193
10. J. Desharnais, V. Gupta, R. Jagadeesan, P. Panangaden, Metrics for labeled Markov systems, in: Proc. 10th Internat. Conf. on Concurrency Theory, Lecture Notes in Computer Science, Vol. 1664, Springer, Berlin, 1999.
11. J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden Approximating labeled Markov processes Inform. Comput. 184 1 2003 160 200
12. J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden Metrics for labeled Markov processes Theoret. Comput. Sci. 318 2004 323 354
13. A. Edalat When Scott is weak at the top Math. Struct. Comput. Sci. 7 1997 401 417
14. G.A. Edgar Integral, Probability, and Fractal Measures 1998 Springer Berlin
15. G. Gierz, K. Hofmann, K. Keimel, J. Lawson, M. Mislove, D. Scott, Continuous Lattices and Domains, Cambridge, 2003
16. M. Giry, A categorical approach to probability theory, in: Proc. Internat. Conf. on Categorical Aspects of Topology and Analysis, Lecture Notes in Mathematics, Vol. 915, Springer, Berlin, 1981.
17. P. Johnstone Stone Spaces 1982 Cambridge University Press Cambridge
18. C. Jones, Probabilistic nondeterminism, Ph.D. Thesis, University of Edinburgh, 1990.
19. A. Jung, R. Tix, The troublesome probabilistic powerdomain, in: Third Workshop on Computation and Approximation, Proc., Electronic Notes in Theoretical Computer Science, Vol. 13, 1998.
20. K.G. Larsen, and A. Skou Bisimulation through probabilistic testing Inform. Comput. 94 1 1991 1 28
21. R. Milner Communication and Concurrency 1989 Prentice-Hall Englewood Cliffs, NJ
22. K.R. Parthasarathy Probability Measures on Metric Spaces 1967 Academic Press New York
23. M. Smyth, and G. Plotkin The category theoretic solution of recursive domain equations SIAM J. Comput. 11 4 1982 761 783
24. 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