ESTEREL
Designed at INRIA by Berry et al.
Concurrent modules:
- interface signals, possibly with values
- local signals and variables
- statements, e.g.:
- await (single or multiple signals)
- do stmt1 watching signal [timeout stmt2] (instantaneous killing of stmt1)
- trap exception in stmt1 [handle do stmt2] (allow stmt1 to terminate)
- allows “external” procedures and functions