Disponible dans les fichiers attachés à ce documen

Berry, Gérard

Couronne, Philippe

Gonthier, Georges

HAL-MINES ParisTech

Synchronous programming of reactive systems: anintroduction to ESTERELGe´rard Berry, Philippe Couronne, Georges GonthierTo cite this version:Ge´rard Berry, Philippe Couronne, Georges Gonthier. Synchronous programming of reactivesystems: an introduction to ESTEREL. [Research Report] RR-0647, INRIA. 1987. <inria-00075906>HAL Id: inria-00075906https://hal.inria.fr/inria-00075906Submitted 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.

Synchronous programming of reactive systems: an introduction to ESTEREL

INRIA a CCSD electronic archive server

HAL Id: inria-00075906https://hal.inria.fr/inria-00075906Submitted 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.Synchronous programming of reactive systems: anintroduction to ESTERELGérard Berry, Philippe Couronne, Georges GonthierTo cite this version:Gérard Berry, Philippe Couronne, Georges Gonthier. Synchronous programming of reactive systems:an introduction to ESTEREL. [Research Report] RR-0647, INRIA. 1987. ￿inria-00075906￿

Synchronous programming of reactive systems: an introduction to ESTEREL

Abstract

Similar works

Full text

Available Versions

HAL-MINES ParisTech

INRIA a CCSD electronic archive server