Pages that link to "Item:Q3523102"
From MaRDI portal
The following pages link to Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions (Q3523102):
Displaying 4 items.
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- Bisimulation maps in presheaf categories (Q2133160) (← links)
- On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems (Q5739458) (← links)
- Assume-guarantee reasoning for additive hybrid behaviour (Q6535836) (← links)