Testing preorders for probabilistic processes

This publication has 4 references indexed in Scilit:

• Bisimulation through probabilistic testing (preliminary report)
  Published by Association for Computing Machinery (ACM) ,1989
• A remark on bisimulation between probabilistic processes
  Published by Springer Nature ,1989
• Extensional equivalences for transition systems
  Acta Informatica, 1987
• Testing equivalences for processes
  Theoretical Computer Science, 1984