S4 S4 System Synthesis and Supervision, Scenarios Benoît Caillaud 20 March 2012.
ECDAR Composition of Real-Time Specifications — Revisited Kim Guldstrand Larsen Aalborg University, DENMARK.
1 Theory of Distributed Systems (TDS) Group Leaders: Nancy Lynch, Idit Keidar PhD students: Victor Luchangco, Josh Tauber, Roger Khazan, Carl Livadas,
S4 System Synthesis and Supervision, Scenarios