The following pages link to Linearization of hybrid processes (Q2368694):
Displaying 6 items.
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Linearization of hybrid processes (Q2368694) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Model-based engineering of embedded systems using the hybrid process algebra Chi (Q2870190) (← links)