A hardware semantics based on temporal intervals

This publication has 17 references indexed in Scilit:

• Hardware Specification with Temporal Logic: An Example
  IEEE Transactions on Computers, 1982
• Slide: An I/O Hardware Descriptive Language
  IEEE Transactions on Computers, 1981
• Equations between regular terms and an application to process logic
  Published by Association for Computing Machinery (ACM) ,1981
• Temporal Specifications of Self-Timed Systems
  Published by Springer Nature ,1981
• Proving real-time properties of programs with temporal logic
  Published by Association for Computing Machinery (ACM) ,1981
• Instruction set processor specifications (ISPS): The notation and its applications
  IEEE Transactions on Computers, 1981
• Algebraic analysis of nondeterministic behavior
  Published by Association for Computing Machinery (ACM) ,1980
• Verification of timing constraints on large digital systems
  Published by Association for Computing Machinery (ACM) ,1980
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Diagnosis & Reliable Design of Digital Systems
  Published by Springer Nature ,1976