Pages that link to "Item:Q2892725"

The following pages link to A Compositional Specification Theory for Component Behaviours (Q2892725):

Displaying 22 items.

• An algebraic theory of interface automata (Q402131) (← links)
• Trace- and failure-based semantics for responsiveness (Q478516) (← links)
• An explanatory presentation of composition rules for assumption- commitment specifications (Q1321833) (← links)
• Composition of assumption-commitment specifications in a UNITY style (Q1346680) (← links)
• An abstract contract theory for programs with procedures (Q2044183) (← links)
• A formal framework for distributed cyber-physical systems (Q2168791) (← links)
• Richer interface automata with optimistic and pessimistic compatibility (Q2350491) (← links)
• A generalised theory of interface automata, component compatibility and error (Q2415373) (← links)
• A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
• Error-pruning in interface automata (Q2517232) (← links)
• Nondeterministic modal interfaces (Q2629098) (← links)
• Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (Q2799159) (← links)
• A Generalised Theory of Interface Automata, Component Compatibility and Error (Q2814126) (← links)
• The Microcosm Principle and Compositionality of GSOS-Based Component Calculi (Q3090871) (← links)
• Mediator Synthesis in a Component Algebra with Data (Q3449636) (← links)
• (Q3539948) (← links)
• (Q4256316) (← links)
• (Q4825706) (← links)
• Compositionality and compatibility of parameterization and parameter passing in specification languages (Q4856663) (← links)
• Formal Methods for Components and Objects (Q5311302) (← links)
• Constructive Specifications for Compositional Units (Q5458803) (← links)
• Formal Methods for Components and Objects (Q5897123) (← links)