Simulation for Continuous-Time Markov Chains
- 18 September 2002
- book chapter
- Published by Springer Nature
- p. 338-354
- https://doi.org/10.1007/3-540-45694-5_23
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- Probabilistic Extensions of Process Algebras**This chapter is dedicated to the fond memory of Linda Christoff.Published by Elsevier ,2001
- A Theory of Testing for Markovian ProcessesPublished by Springer Nature ,2000
- Deciding Bisimilarity and Similarity for Probabilistic ProcessesJournal of Computer and System Sciences, 2000
- Branching time and abstraction in bisimulation semanticsJournal of the ACM, 1996
- A logic for reasoning about time and reliabilityFormal Aspects of Computing, 1994
- Exact and ordinary lumpability in finite Markov chainsJournal of Applied Probability, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Bisimulation through probabilistic testingInformation and Computation, 1991
- Simulations between specifications of distributed systemsPublished by Springer Nature ,1991
- Characterizing finite Kripke structures in propositional temporal logicTheoretical Computer Science, 1988