The following pages link to Marc Pouzet (Q439951):
Displayed 13 items.
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Multi-mode DAE models -- challenges, theory and implementation (Q2075775) (← links)
- Deterministic concurrency: a clock-synchronised shared memory approach (Q2323968) (← links)
- (Q2763676) (← links)
- Synchronous Kahn networks (Q2817701) (← links)
- Zélus (Q2986915) (← links)
- Lucy-n: a n-Synchronous Extension of Lustre (Q3575277) (← links)
- (Q4222947) (← links)
- Structural Analysis of Multi-Mode DAE Systems (Q5275339) (← links)
- <i>N</i> -synchronous Kahn networks (Q5348923) (← links)
- Abstraction of Clocks in Synchronous Data-Flow Systems (Q5502727) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5892442) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)