Completing the temporal picture

This publication has 15 references indexed in Scilit:

• Verifying temporal properties without temporal logic
  ACM Transactions on Programming Languages and Systems, 1989
• Fairness
  Published by Springer Nature ,1986
• The glory of the past
  Published by Springer Nature ,1985
• Adequate proof principles for invariance and liveness properties of concurrent programs
  Science of Computer Programming, 1984
• How to cook a temporal proof system for your pet language
  Published by Association for Computing Machinery (ACM) ,1983
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• A combinatorial approach to the theory of ω-automata
  Information and Control, 1981
• First-Order Dynamic Logic
  Lecture Notes in Computer Science, 1979
• Soundness and Completeness of an Axiom System for Program Verification
  SIAM Journal on Computing, 1978