the esterel synchronous programming language: design, … · 2020. 12. 30. · title: the esterel...

Post on 23-Jan-2021

7 Views

Category:

Documents

0 Downloads

Preview:

Click to see full reader

TRANSCRIPT

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�

top related