Bisimulation for labelled Markov processes
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 4, 149-158
- https://doi.org/10.1109/lics.1997.614943
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- A final coalgebra theoremPublished by Springer Nature ,2005
- Probabilistic simulations for probabilistic processesPublished by Springer Nature ,2005
- Testing equivalences and fully abstract models for probabilistic processesPublished by Springer Nature ,2005
- Reactive, generative, and stratified models of probabilistic processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- HYTECH: the next generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- UPPAAL — a tool suite for automatic verification of real-time systemsPublished by Springer Nature ,1996
- Testing preorders for probabilistic processesPublished by Springer Nature ,1992
- Cpo's of measures for nondeterminismTheoretical Computer Science, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- PROBABILITY MEASURES IN A METRIC SPACEPublished by Elsevier ,1967