Behavioural contracts for a sound assembly of components

DOI10.1007/11965MaRDI QIDQ5900951zbMATH OpenOpenAlexFDO

Authors Cyril Carrez, Alessandro Fantechi, Elie Najm

Publication date 26 May 2010

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

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

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• Probabilistic Contracts for Component-Based Design
• Probabilistic contracts for component-based design
• scientific article; zbMATH DE number 2080757
• scientific article; zbMATH DE number 1947732
• Synchronous and Bidirectional Component Interfaces

Cited in

(18)

• Conditions of contracts for separating responsibilities in heterogeneous systems
• Probabilistic contracts for component-based design
• Component publications and compositions
• Multiple Viewpoint Contract-Based Specification and Design
• scientific article; zbMATH DE number 1947732 (Why is no real title available?)
• scientific article; zbMATH DE number 1956477 (Why is no real title available?)
• scientific article; zbMATH DE number 1787173 (Why is no real title available?)
• Threaded behavior protocols
• Probabilistic Contracts for Component-Based Design
• Bounded analysis and decomposition for behavioural descriptions of components
• Assembly theories for communication-safe component systems
• Formal Methods for Components and Objects
• Validating behavioral component interfaces in rewriting logic
• Principles of Distributed Systems
• Implementation and Application of Automata
• Can we communicate? Using dynamic logic to verify team automata
• Component composition preserving behavioral contracts based on communication traces
• Failure-free coordinators synthesis for component-based architectures

This page was built for publication: Behavioural contracts for a sound assembly of components

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