Quiescence, fairness, testing, and the notion of implementation

This publication has 12 references indexed in Scilit:

• On the relationship between process algebra and input/output automata
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Receptive process theory
  Acta Informatica, 1992
• Games I/O automata play
  Published by Springer Nature ,1992
• On the relations computable by a class of concurrent automata
  Published by Association for Computing Machinery (ACM) ,1990
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989
• Extensional equivalences for transition systems
  Acta Informatica, 1987
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• An improved failures model for communicating processes
  Published by Springer Nature ,1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Testing equivalences for processes
  Theoretical Computer Science, 1984