Bisimulation for Labelled Markov Processes
Top Cited Papers
- 1 December 2002
- journal article
- Published by Elsevier in Information and Computation
- Vol. 179 (2) , 163-193
- https://doi.org/10.1006/inco.2001.2962
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A theory of timed automataPublished by Elsevier ,2002
- Semi-pullbacks and bisimulation in categories of Markov processesMathematical Structures in Computer Science, 1999
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- Bisimulation from Open MapsInformation and Computation, 1996
- A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systemsTheoretical Computer Science, 1995
- Bisimulation through probabilistic testingInformation and Computation, 1991
- A probabilistic PDLJournal of Computer and System Sciences, 1985
- Semantics of probabilistic programsJournal of Computer and System Sciences, 1981
- Cpo's of measures for nondeterminismTheoretical Computer Science, 1980
- A Hilbert Space Problem BookPublished by Springer Nature ,1974