The following pages link to Quartz (Q21870):
Displaying 8 items.
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)
- From synchronous programs to symbolic representations of hybrid systems (Q2985863) (← links)
- Constructive Polychronous Systems (Q3455857) (← links)
- Formal Reasoning About Causality Analysis (Q3543654) (← links)
- (Q4484348) (← links)
- Grounding Synchronous Deterministic Concurrency in Sequential Programming (Q5410702) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)