Searching for "Metrics for labelled Markov processes." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Metrics for Labelled Markov Processes
- …Metrics for Labelled Markov Processes Josee Desharnais Departement d'Informatique Universite…
- Cited by 30 (9 self) – Add To MetaCart
-
The Metric Analogue of Weak Bisimulation for Probabilistic Processes
- … of metrics for labelled Markov processes and strong bisimulation [7, 8] and the study of the fine structure…
- Cited by 35 (1 self) – Add To MetaCart
-
Approximate reasoning for real-time probabilistic processes
- … previous study of metrics for labelled Markov processes [DGJP99, DGJP04, DGJP02], the study of the fine…
- Cited by 6 (0 self) – Add To MetaCart
Showing 1 through 3.
