116
Voted
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...