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

• Authors:

• P. K. Pandya

• Affiliations:

• -

• Venue:
• REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
• Year:
• 1990