Temporal and Modal Logic

This publication has 62 references indexed in Scilit:

• Verification of concurrent programs: Temporal proof principles
  Published by Springer Nature ,2005
• Using Reasoning About Knowledge to Analyze Distributed Systems
  Annual Review of Computer Science, 1987
• Research on Automatic Verification of Finite-State Concurrent Systems
  Annual Review of Computer Science, 1987
• A model and temporal proof system for networks of processes
  Distributed Computing, 1986
• Hierarchical verification of asynchronous circuits using temporal logic
  Theoretical Computer Science, 1985
• Adequate proof principles for invariance and liveness properties of concurrent programs
  Science of Computer Programming, 1984
• Alternative semantics for temporal logics
  Theoretical Computer Science, 1983
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• From State Machines to Temporal Logic: Specification Methods for Protocol Standards
  IEEE Transactions on Communications, 1982
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982