Pages that link to "Item:Q402131"
From MaRDI portal
The following pages link to An algebraic theory of interface automata (Q402131):
Displaying 20 items.
- Trace- and failure-based semantics for responsiveness (Q478516) (← links)
- Generalized interface automata with multicast synchronization (Q1633060) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- The algebraic structure of interfaces (Q1887174) (← links)
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- Moving from interface theories to assembly theories (Q2340257) (← links)
- Richer interface automata with optimistic and pessimistic compatibility (Q2350491) (← links)
- ACTL for modal interface automata (Q2404073) (← links)
- A generalised theory of interface automata, component compatibility and error (Q2415373) (← links)
- Error-pruning in interface automata (Q2517232) (← links)
- Interface automata for shared memory (Q2675806) (← links)
- An Interface Model of Software Components (Q2851905) (← links)
- Extending Interface Automata with Z Notation (Q2894575) (← links)
- Fault-Free Refinements for Interface Automata (Q4621227) (← links)
- Combining Partial Specifications using Alternating Interface Automata (Q5039544) (← links)
- Modal I/O Automata for Interface and Product Line Theories (Q5756489) (← links)
- Modal interface automata (Q5891133) (← links)
- Modal Interface Automata (Q5891780) (← links)
- Relating alternating relations for conformance and refinement (Q6536353) (← links)
