Abstract patterns of compositional reasoning.

DOI10.1007/B11938MaRDI QIDQ5900581zbMATH OpenOpenAlexFDO

Authors Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard Trefler

Publication date 30 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11938

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the completeness of compositional reasoning methods
• scientific article; zbMATH DE number 1670774
• scientific article; zbMATH DE number 1754638
• scientific article; zbMATH DE number 1701775
• scientific article; zbMATH DE number 4180789

Cited in

(17)

• Conditions of contracts for separating responsibilities in heterogeneous systems
• Invariants, composition, and substitution
• scientific article; zbMATH DE number 1670774 (Why is no real title available?)
• scientific article; zbMATH DE number 1670785 (Why is no real title available?)
• scientific article; zbMATH DE number 1701775 (Why is no real title available?)
• Assume-guarantee reasoning with local specifications
• Views, compositional reasoning for concurrent programs
• On the completeness of compositional reasoning methods
• Synthesizing different development paradigms: combining top-down with bottom-up reasoning about distributed systems
• Compositional reasoning
• Considerate reasoning and the Composite design pattern
• scientific article; zbMATH DE number 1955904 (Why is no real title available?)
• scientific article; zbMATH DE number 1956523 (Why is no real title available?)
• scientific article; zbMATH DE number 1754637 (Why is no real title available?)
• scientific article; zbMATH DE number 1754638 (Why is no real title available?)
• scientific article; zbMATH DE number 1754684 (Why is no real title available?)
• Automated compositional proofs for real-time systems

This page was built for publication: Abstract patterns of compositional reasoning.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5900581)