The following pages link to ACTL for modal interface automata (Q2404073):
Displaying 5 items.
- Richer interface automata with optimistic and pessimistic compatibility (Q2350491) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- Modal I/O Automata for Interface and Product Line Theories (Q5756489) (← links)
- Modal interface automata (Q5891133) (← links)
- Modal Interface Automata (Q5891780) (← links)