The following pages link to Sébastien Briais (Q411216):
Displayed 8 items.
- SIRALINA: Efficient two-steps heuristic for storage optimisation in single period task scheduling (Q411217) (← links)
- A formal semantics for protocol narrations (Q2463562) (← links)
- Open bisimulation, revisited (Q2465030) (← links)
- (Q2852066) (← links)
- (Q4790349) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311472) (← links)
- Trustworthy Global Computing (Q5394801) (← links)
- How to eliminate non-positive circuits in periodic scheduling: a proactive strategy based on shortest path equations (Q5397696) (← links)