Verification of concurrent programs: Temporal proof principles

This publication has 9 references indexed in Scilit:

• The temporal semantics of concurrent programs
  Published by Springer Nature ,2005
• The temporal logic of branching time
  Published by Association for Computing Machinery (ACM) ,1981
• Synthesis of Resource Invariants for Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1980
• The modal logic of programs
  Published by Springer Nature ,1979
• Is “sometime” sometimes better than “always”?
  Communications of the ACM, 1978
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• Proving the Correctness of Multiprocess Programs
  IEEE Transactions on Software Engineering, 1977
• Formal verification of parallel programs
  Communications of the ACM, 1976
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976