Pages that link to "Item:Q2368692"
From MaRDI portal
The following pages link to Continuity controlled hybrid automata (Q2368692):
Displaying 7 items.
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Linearization of hybrid processes (Q2368694) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Relating hybrid chi to other formalisms (Q2864397) (← links)
- (Q4953395) (← links)