Esterel

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  Esterel
       
          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].