Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes

This publication has 6 references indexed in Scilit:

• Composition and Behaviors of Probabilistic I/O Automata
  Published by Springer Nature ,1994
• Testing Probabilistic and Nondeterministic Processes
  Published by Elsevier ,1992
• A calculus for communicating systems with time and probabilities
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Extensional equivalences for transition systems
  Acta Informatica, 1987
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• Testing equivalences for processes
  Theoretical Computer Science, 1984