In Transition From Global to Modular Temporal Reasoning about Programs

This publication has 16 references indexed in Scilit:

• Adequate proof principles for invariance and liveness properties of concurrent programs
  Science of Computer Programming, 1984
• The ``Hoare Logic'' of CSP, and All That
  ACM Transactions on Programming Languages and Systems, 1984
• The Weak Byzantine Generals Problem
  Journal of the ACM, 1983
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Modular Verification of Computer Communication Protocols
  IEEE Transactions on Communications, 1983
• Proving Liveness Properties of Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1982
• Myths about the mutual exclusion problem
  Information Processing Letters, 1981
• A proof method for cyclic programs
  Acta Informatica, 1978
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• Revised report on the algorithmic language ALGOL 60
  Communications of the ACM, 1963