Pages that link to "Item:Q2368698"

The following pages link to Syntax and consistent equation semantics of hybrid Chi (Q2368698):

Displaying 21 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)
• Structural operational semantics through context-dependent behaviour (Q638568) (← links)
• Revisiting sequential composition in process calculi (Q890611) (← 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)
• Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal (Q2568979) (← links)
• Relating hybrid chi to other formalisms (Q2864397) (← links)
• Model-based engineering of embedded systems using the hybrid process algebra Chi (Q2870190) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681) (← links)
• Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems (Q3455848) (← 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 Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)
• Formal Modeling and Analysis of Timed Systems (Q5717491) (← links)
• Learning deterministic one-clock timed automata via mutation testing (Q6160914) (← links)