Towards Quantitative Verification of Probabilistic Transition Systems
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
A behavioural pseudometric for probabilistic transition systems
Theoretical Computer Science - Automata, languages and programming
The category-theoretic solution of recursive metric-space equations
Theoretical Computer Science
Hi-index | 5.23 |