Pages that link to "Item:Q1781998"
From MaRDI portal
The following pages link to Process algebra for hybrid systems (Q1781998):
Displaying 9 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Rule formats for determinism and idempotence (Q433348) (← links)
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- Fixing Zeno gaps (Q549197) (← links)
- An algebra of hybrid systems (Q1001892) (← links)
- Hybrid process algebra (Q1763160) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
