Domain theory, testing and simulation for labelled Markov processes

  title={Domain theory, testing and simulation for labelled Markov processes},
  author={Franck van Breugel and Michael W. Mislove and Jo{\"e}l Ouaknine and James Worrell},
  journal={Theor. Comput. Sci.},
This paper presents a fundamental study of similarity and bisimilarity for labelled Markov processes. The main results characterize similarity as a testing preorder and bisimilarity as a testing equivalence. In general, labelled Markov processes are not required to satisfy a finite-branching condition—indeed the state space may be a continuum, with the transitions given by arbitrary probability measures. Nevertheless we show that to characterize bisimilarity it suffices to use finitely… CONTINUE READING
Highly Cited
This paper has 44 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 28 extracted citations


Publications referenced by this paper.
Showing 1-10 of 24 references

Metrics for labelled Markov processes

View 11 Excerpts
Highly Influenced

The troublesome probabilistic powerdomain

Electr. Notes Theor. Comput. Sci. • 1998
View 5 Excerpts
Highly Influenced

Bisimulation through Probabilistic Testing

Inf. Comput. • 1991
View 9 Excerpts
Highly Influenced

Probabilistic nondeterminism

C. Jones
PhD Thesis, Univ. of Edinburgh • 1990
View 4 Excerpts
Highly Influenced

Communication and concurrency

PHI Series in computer science • 1989
View 4 Excerpts
Highly Influenced

Observation Equivalence as a Testing Equivalence

Theor. Comput. Sci. • 1987
View 8 Excerpts
Highly Influenced

An Invitation to C*-Algebras

W. Averson
Springer-Verlag • 1976
View 4 Excerpts
Highly Influenced

On the Greatest Fixed Point of a Set Functor

Theor. Comput. Sci. • 1995
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…