The following pages link to (Q2847419):
Displaying 5 items.
- Hybrid process algebra (Q1763160) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Safe \& robust reachability analysis of hybrid systems (Q1786614) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
- Topological Aspects of Hybrid Processes (Q5262960) (← links)
