Pages that link to "Item:Q1781998"
From MaRDI portal
The following pages link to Process algebra for hybrid systems (Q1781998):
Displayed 11 items.
- An algebra of hybrid systems (Q1001892) (← links)
- Hybrid process algebra (Q1763160) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Continuity controlled hybrid automata (Q2368692) (← links)
- Linearization of hybrid processes (Q2368694) (← links)
- Compositional modeling and refinement for hierarchical hybrid systems (Q2368695) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- Splitting bisimulations and retrospective conditions (Q2500474) (← links)
- Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102) (← links)