The following pages link to Hybrid process algebra (Q1763160):
Displaying 30 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)
- An algebra of hybrid systems (Q1001892) (← links)
- Hybrid process algebra (Q1763160) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Process algebra for hybrid systems (Q1781998) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Bisimulation maps in presheaf categories (Q2133160) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← 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)
- Relating hybrid chi to other formalisms (Q2864397) (← links)
- Model-based engineering of embedded systems using the hybrid process algebra Chi (Q2870190) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
- Verification of Hybrid Systems (Q3176388) (← 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)
- (Q3776606) (← links)
- Skill-Based Verification of Cyber-Physical Systems (Q5039533) (← links)
- Topological Aspects of Hybrid Processes (Q5262960) (← links)
- HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
- A Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)
- A Calculus of Cyber-Physical Systems (Q5738991) (← links)
- Integrated Formal Methods (Q5901615) (← links)
