A Testing Equivalence for Reactive Probabilistic Processes
Open Access
- 1 January 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 16 (2) , 114-132
- https://doi.org/10.1016/s1571-0661(04)00121-5
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Reactive, generative, and stratified models of probabilistic processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A logical characterization of bisimulation for labeled Markov processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Domain Equations for Probabilistic Processes (Extended Abstract)Electronic Notes in Theoretical Computer Science, 1997
- Polynomial time algorithms for testing probabilistic bisimulation and simulationPublished by Springer Nature ,1996
- Model checking of probabilistic and nondeterministic systemsPublished by Springer Nature ,1995
- The linear time - branching time spectrumPublished by Springer Nature ,1990
- A remark on bisimulation between probabilistic processesPublished by Springer Nature ,1989
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984