Esterel

Esterel is a synchronous programming language for describing reactive systems. These pages include