The following pages link to Modal Interface Automata (Q5891780):
Displaying 13 items.
- Interface theories for concurrency and data (Q549177) (← links)
- Generalized interface automata with multicast synchronization (Q1633060) (← links)
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- ACTL for modal interface automata (Q2404073) (← links)
- A generalised theory of interface automata, component compatibility and error (Q2415373) (← links)
- Nondeterministic modal interfaces (Q2629098) (← links)
- Extending Interface Automata with Z Notation (Q2894575) (← links)
- A modal interface theory for component-based design (Q2895779) (← links)
- A Pre-congruence Format for XY-simulation (Q3455865) (← links)
- Fault-Free Refinements for Interface Automata (Q4621227) (← links)
- Model-Based Testing (Q5175779) (← links)
- Modal I/O Automata for Interface and Product Line Theories (Q5756489) (← links)
- Modal interface automata (Q5891133) (← links)