The following pages link to (Q3359755):
Displaying 4 items.
- An algebraic theory of interface automata (Q402131) (← links)
- Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850) (← links)
- Towards a complete hierarchy of compositional dataflow models (Q5096218) (← links)
- Modal I/O Automata for Interface and Product Line Theories (Q5756489) (← links)