Testing for Simulation and Bisimulation in Labelled Markov Processes (2003)
by
Franck van Breugel
,
Michael Mislove
,
Joël Ouaknine
,
James Worrell
BibTeX
@MISC{Breugel03testingfor,
author = {Franck van Breugel and Michael Mislove and Joël Ouaknine and James Worrell},
title = {Testing for Simulation and Bisimulation in Labelled Markov Processes},
year = {2003}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper presents a fundamental study of similarity and bisimilarity for labelled Markov processes: a particular class of probabilistic labelled transition systems. The main results characterize similarity as a testing preorder and bisimilarity as a testing equivalence.
