An abstract account of composition

DOI10.1007/3-540-60246-1_155MaRDI QIDQ3569039zbMATH OpenOpenAlexFDO

Authors Martín Abadi, Stephan Merz

Publication date 17 June 2010

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

Full work available at URL https://doi.org/10.1007/3-540-60246-1_155

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A logical view of composition
• scientific article; zbMATH DE number 910717
• Composition of assumption-commitment specifications in a UNITY style
• Logical specification of reactive and real-time systems
• Composing and refining dense temporal logic specifications

Cited in

(12)

• scientific article; zbMATH DE number 1696878 (Why is no real title available?)
• Compositional reasoning
• A compositional trace logic for behavioural interface specifications
• Compositionality Through an Operational Semantics of Contexts
• Reasoning about programs by exploiting the environment
• Assumption/guarantee specifications in linear-time temporal logic (extended abstract)
• 50 Shades of Rule Composition
• On the specification of elementary reactive behaviour
• Composition: a fresh look at an old topic
• Assumption/guarantee specifications in linear-time temporal logic
• A logical view of composition
• Automated compositional proofs for real-time systems

This page was built for publication: An abstract account of composition

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