Pages that link to "Item:Q1781998"

The following pages link to Process algebra for hybrid systems (Q1781998):

Displaying 24 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)
• A probabilistic calculus of cyber-physical systems (Q2042728) (← 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)
• Relating Hybrid Chi to Other Formalisms (Q2864397) (← 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)
• Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
• Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102) (← links)
• Topological Aspects of Hybrid Processes (Q5262960) (← links)
• HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
• A Calculus of Cyber-Physical Systems (Q5738991) (← links)