An explanatory presentation of composition rules for assumption- commitment specifications

DOI10.1016/0020-0190(94)90041-8zbMath0803.68036OpenAlexW2074882845MaRDI QIDQ1321833

Pierre Collette

Publication date: 10 January 1995

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)90041-8

zbMATH Keywords

concurrencyassumption-commitment specificationscompositional methods

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Related Items

Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency

Cites Work

• Unnamed Item
• A logical view of composition
• P-A logic - a compositional proof system for distributed programs
• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
• Tentative steps toward a development method for interfering programs
• Proofs of Networks of Processes