A programming logic for formal concurrent systems

This publication has 26 references indexed in Scilit:

• Distributed cooperation with action systems
  ACM Transactions on Programming Languages and Systems, 1988
• Recognizing safety and liveness
  Distributed Computing, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• The ``Hoare Logic'' of CSP, and All That
  ACM Transactions on Programming Languages and Systems, 1984
• An assertional correctness proof of a distributed algorithm
  Science of Computer Programming, 1982
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• Synthesis of Resource Invariants for Concurrent Programs
  ACM Transactions on Programming Languages and Systems, 1980
• Communicating sequential processes
  Communications of the ACM, 1978
• Formal verification of parallel programs
  Communications of the ACM, 1976
• An axiomatic basis for computer programming
  Communications of the ACM, 1969