Esterel

Esterel is a synchronous programming language for describing reactive systems. These pages include a simple example with simulator, for use as a tutorial introduction to Esterel, and some notes on using the academic Esterel tools.