Testing and refinement for nondeterministic and probabilistic processes

This publication has 16 references indexed in Scilit:

• A framework for reasoning about time and reliability
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Specification and refinement of probabilistic processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Reactive, generative, and stratified models of probabilistic processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Testing preorders for probabilistic processes
  Published by Springer Nature ,1992
• Testing Probabilistic and Nondeterministic Processes
  Published by Elsevier ,1992
• The anchored version of the temporal framework
  Published by Springer Nature ,1989
• Verification of multiprocess probabilistic protocols
  Distributed Computing, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Probabilistic automata
  Information and Control, 1963