The following pages link to Viptos (Q21406):
Displayed 4 items.
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- Symmetry and partial order reduction techniques in model checking Rebeca (Q845239) (← links)
- Decidability Problems for Actor Systems (Q5892063) (← links)