P — A logic — a compositional proof system for distributed programs

This publication has 18 references indexed in Scilit:

• Some comments on the assumption-commitment framework for compositional verification of distributed programs
  Published by Springer Nature ,1990
• Defining liveness
  Information Processing Letters, 1985
• An improved failures model for communicating processes
  Published by Springer Nature ,1985
• A model and proof system for asynchronous networks
  Published by Association for Computing Machinery (ACM) ,1985
• A calculus of total correctness for communicating processes
  Science of Computer Programming, 1981
• The Science of Programming
  Published by Springer Nature ,1981
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980
• "Sometime" is sometimes "not never"
  Published by Association for Computing Machinery (ACM) ,1980
• Communicating sequential processes
  Communications of the ACM, 1978
• A proof method for cyclic programs
  Acta Informatica, 1978