Comparative Branching-Time Semantics for Markov Chains
- 1 January 2003
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 26 references indexed in Scilit:
- Simulation for Continuous-Time Markov ChainsPublished by Springer Nature ,2002
- Abstraction in Probabilistic Process AlgebraPublished by Springer Nature ,2001
- Model Checking Continuous-Time Markov Chains by Transient AnalysisPublished by Springer Nature ,2000
- Approximative Symbolic Model Checking of Continuous-Time Markov ChainsPublished by Springer Nature ,1999
- Weak bisimulation for fully probabilistic processesPublished by Springer Nature ,1997
- Temporal logics for the specification of performance and reliabilityPublished by Springer Nature ,1997
- Extended Markovian Process AlgebraPublished by Springer Nature ,1996
- Verifying continuous time Markov chainsPublished by Springer Nature ,1996
- It usually works: The temporal logic of stochastic systemsPublished by Springer Nature ,1995
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988