A Theory of Testing for Markovian Processes
- 21 December 2000
- book chapter
- Published by Springer Nature
- p. 305-319
- https://doi.org/10.1007/3-540-44618-4_23
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A Compositional Approach to Performance ModellingPublished by Cambridge University Press (CUP) ,1996
- Acceptance trees for probabilistic processesPublished by Springer Nature ,1995
- Fully Abstract Characterizations of Testing Preorders for Probabilistic ProcessesPublished by Springer Nature ,1994
- Testing equivalence as a bisimulation equivalenceFormal Aspects of Computing, 1993
- Testing preorders for probabilistic processesPublished by Springer Nature ,1992
- Testing equivalences for processesTheoretical Computer Science, 1984