A distributed language for synchronous interaction of real-time systems wITh their environment. Uses explicIT timing requests. Esterel programs are compiled into finITe automata. ["The ESTEREL Programming Language and ITs Mathematical Semantics", G. Berry & L. Cosserat, TR 327, INRIA, 1984].