Applications of Fair Testing

This publication has 8 references indexed in Scilit:

• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Invited Address I
  Published by Springer Nature ,1995
• Fair testing
  Published by Springer Nature ,1995
• Failure-based Equivalences Are Faster Than Many Believe
  Published by Springer Nature ,1995
• Modular Construction and Partial Order Semantics of Petri Nets
  Published by Springer Nature ,1992
• Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Testing equivalences for processes
  Theoretical Computer Science, 1984