HAL Id: inria-00075711https://hal.inria.fr/inria-00075711

Submitted on 24 May 2006

HAL is a multi-disciplinary open accessarchive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come fromteaching and research institutions in France orabroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, estdestinée au dépôt et à la diffusion de documentsscientifiques de niveau recherche, publiés ou non,émanant des établissements d’enseignement et derecherche français ou étrangers, des laboratoirespublics ou privés.

The ESTEREL synchronous programming language :design, semantics, implementation

Gérard Berry, Georges Gonthier

To cite this version:Gérard Berry, Georges Gonthier. The ESTEREL synchronous programming language : design, se-mantics, implementation. [Research Report] RR-0842, INRIA. 1988. �inria-00075711�