Pages that link to "Item:Q2814126"
From MaRDI portal
The following pages link to A Generalised Theory of Interface Automata, Component Compatibility and Error (Q2814126):
Displaying 6 items.
- An algebraic theory of interface automata (Q402131) (← links)
- Resolution-based approach to compatibility analysis of interacting automata (Q1127549) (← links)
- Richer interface automata with optimistic and pessimistic compatibility (Q2350491) (← links)
- A generalised theory of interface automata, component compatibility and error (Q2415373) (← links)
- A Generalised Theory of Interface Automata, Component Compatibility and Error (Q2814126) (← links)
- Modal I/O Automata for Interface and Product Line Theories (Q5756489) (← links)