The following pages link to Dynamic Reactive Modules (Q3090845):
Displaying 5 items.
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850) (← links)
- Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
- Dynamic networks of heterogeneous timed machines (Q4640311) (← links)
- Intensional Couplings in Variable-Structure Models (Q5270660) (← links)
