A timed failures model for extended communicating processes

This publication has 8 references indexed in Scilit:

• A timed model for communicating sequential processes
  Lecture Notes in Computer Science, 1986
• Refusal testing
  Published by Springer Nature ,1986
• Process theory: Semantics, specification and verification
  Published by Springer Nature ,1986
• Examples of a real-time temporal logic specification
  Published by Springer Nature ,1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Synchronous and asynchronous experiments on processes
  Information and Control, 1983
• An Analytical Description of CHILL, the CCITT High Level Language
  Lecture Notes in Computer Science, 1982
• Real-time
  Communications of the ACM, 1980