Pages that link to "Item:Q2892725"
From MaRDI portal
The following pages link to A Compositional Specification Theory for Component Behaviours (Q2892725):
Displaying 11 items.
- An algebraic theory of interface automata (Q402131) (← links)
- Trace- and failure-based semantics for responsiveness (Q478516) (← 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)
- 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)
- Mediator Synthesis in a Component Algebra with Data (Q3449636) (← links)
