Testing equivalences and fully abstract models for probabilistic processes

This publication has 11 references indexed in Scilit:

• Linear and branching structures in the semantics and logics of reactive systems
  Published by Springer Nature ,2005
• Reactive, generative, and stratified models of probabilistic processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Bisimulation through probabilistic testing (preliminary report)
  Published by Association for Computing Machinery (ACM) ,1989
• A fully abstract trace model for dataflow networks
  Published by Association for Computing Machinery (ACM) ,1989
• Refusal testing
  Theoretical Computer Science, 1987
• Observation equivalence as a testing equivalence
  Theoretical Computer Science, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• Process algebra for synchronous communication
  Information and Control, 1984
• Full abstraction for a simple parallel programming language
  Published by Springer Nature ,1979