Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends

This publication has 29 references indexed in Scilit:

• Adequate proof principles for invariance and liveness properties of concurrent programs
  Science of Computer Programming, 1984
• Proof rules and transformations dealing with fairness
  Science of Computer Programming, 1983
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Modular Verification of Computer Communication Protocols
  IEEE Transactions on Communications, 1983
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Communicating sequential processes
  Communications of the ACM, 1978
• Proving the Correctness of Multiprocess Programs
  IEEE Transactions on Software Engineering, 1977
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969
• Weak Second‐Order Arithmetic and Finite Automata
  Mathematical Logic Quarterly, 1960