Synchronous Languages
Assumptions:
- the system continuously reacts to internal and external events by emitting other events
- events can occur only at discrete instants
- zero (negligible) reaction time
Both control (Esterel) and data flow (Lustre, Signal)
Very simple syntax and clean semantics
Simulation, software and hardware synthesis, verification