Pages that link to "Item:Q2415373"
From MaRDI portal
The following pages link to A generalised theory of interface automata, component compatibility and error (Q2415373):
Displaying 7 items.
- An algebraic theory of interface automata (Q402131) (← links)
- Resolution-based approach to compatibility analysis of interacting automata (Q1127549) (← links)
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- Richer interface automata with optimistic and pessimistic compatibility (Q2350491) (← links)
- Error-pruning in interface automata (Q2517232) (← links)
- Interface automata for shared memory (Q2675806) (← links)
- Modal I/O Automata for Interface and Product Line Theories (Q5756489) (← links)