The following pages link to Hybrid process algebra (Q1763160):
Displayed 12 items.
- 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)
- 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)
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681) (← links)
- Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102) (← links)
- A Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)