Finite divergence

This publication has 4 references indexed in Scilit:

• A brief history of Timed CSP
  Theoretical Computer Science, 1995
• Specifying and verifying requirements of real-time systems
  IEEE Transactions on Software Engineering, 1993
• A calculus of durations
  Information Processing Letters, 1991
• A Temporal Logic for Multilevel Reasoning about Hardware
  Computer, 1985