Some comments on the assumption-commitment framework for compositional verification of distributed programs

This publication has 11 references indexed in Scilit:

• Total correctness of CSP programs
  Acta Informatica, 1986
• A proof technique for rely/guarantee properties
  Published by Springer Nature ,1985
• In Transition From Global to Modular Temporal Reasoning about Programs
  Published by Springer Nature ,1985
• A model and temporal proof system for networks of processes
  Published by Association for Computing Machinery (ACM) ,1985
• Programs are predicates
  Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences, 1984
• A proof system for partial correctness of dynamic networks of processes
  Published by Springer Nature ,1984
• A calculus of total correctness for communicating processes
  Science of Computer Programming, 1981
• Proofs of Networks of Processes
  IEEE Transactions on Software Engineering, 1981
• Communicating sequential processes
  Communications of the ACM, 1978
• A proof method for cyclic programs
  Acta Informatica, 1978