Disponible dans les fichiers attachés à ce documen

Berry, Gérard

Gonthier, Georges

INRIA a CCSD electronic archive server

HAL Id: inria-00075711https://hal.inria.fr/inria-00075711Submitted on 24 May 2006HAL 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, implementationGérard Berry, Georges GonthierTo 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￿

The ESTEREL synchronous programming language : design, semantics, implementation

HAL-MINES ParisTech

The ESTEREL synchronous programming language :design, semantics, implementationGe´rard Berry, Georges GonthierTo cite this version:Ge´rard Berry, Georges Gonthier. The ESTEREL synchronous programming language : design,semantics, implementation. [Research Report] RR-0842, INRIA. 1988. <inria-00075711>HAL Id: inria-00075711https://hal.inria.fr/inria-00075711Submitted on 24 May 2006HAL 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, estdestine´e au de´poˆt et a` la diffusion de documentsscientifiques de niveau recherche, publie´s ou non,e´manant des e´tablissements d’enseignement et derecherche franc¸ais ou e´trangers, des laboratoirespublics ou prive´s.

https://hal.inria.fr/inria-00075711/document

The ESTEREL synchronous programming language : design, semantics, implementation

Abstract

Similar works

Full text

Available Versions

INRIA a CCSD electronic archive server

HAL-MINES ParisTech