Pages that link to "Item:Q3612967"

The following pages link to On Simulations and Bisimulations of General Flow Systems (Q3612967):

Displaying 9 items.

• HYPE: hybrid modelling by composition of flows (Q470011) (← links)
• On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations (Q636275) (← links)
• Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
• Controller synthesis for bisimulation equivalence (Q2519735) (← 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)
• Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces (Q3624568) (← links)
• (Q5014799) (← links)
• On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)