The following pages link to Linearization of hybrid processes (Q2368694):
Displaying 5 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)
- 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)
