The following pages link to Nondeterministic modal interfaces (Q2629098):
Displayed 4 items.
- 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)
- Interface automata for shared memory (Q2675806) (← links)