Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs

• Authors:

• Paritosh K. Pandya

• Affiliations:

• -

• Venue:
• Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
• Year:
• 1989