The following pages link to Hybrid process algebra (Q1763160):
Displaying 9 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631) (← links)
- Duplication of constants in process algebra (Q864505) (← links)
- Hybrid process algebra (Q1763160) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
