Synchronous programming of reactive systems: an introduction to ESTEREL

The ESTEREL synchronous programming language and its mathematical semantics

Berry, Gerard
Cosserat, Laurent
Institut National de Recherche en Informatique et en Automatique, Centre Sophia-Antipolis Valbonne (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Synchronous programming-foundations. 1

Budde, R.
Poigne, A.
Sylla, K.H.

January 2002

This is the first part of a series of three articles on synchronous programming. It introduces the b...

Synchronous Programming (Dagstuhl Seminar 13471)

Edwards, Stephen A.
Girault, Alain
Schneider, Klaus

January 2014

Synchronous programming languages are programming languages with an abstract (logical) notion of tim...

Synchronous/Reactive Programming of Concurrent System

Bruce R. Montague
Charles E. Mcdowell

January 1997

Synchronous languages are intended for programming reactive systems. Reactive systems, which include...

The synchronous approach to reactive and real-time systems

Benveniste, Albert
Berry, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1991

IRISA - Publication interne no 581, 36 p., avril 1991SIGLEAvailable at INIST (FR), Document Supply S...

A Synchronous Approach to Reactive System Design1

Charles André

December 2014

Reactive systems are systems that maintain permanent interactions with their environment. In this pa...

Programmation Réactive Synchrone, Langage et Contrôle des Ressources

Dabrowski, Frederic

June 2007

Reactive system continuously interact with an environment.Synchronous languages (a family of languag...

Systemes reactifs et programmation synchrone

Berry, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1986

CNRS 14802E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

The Esterel synchronous programming language: design, semantics, implementation

Berry, Gerard
Gonthier, Georges
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Esterel Is An Imperative, Synchronous And Reactive Programming Language

September 2016

Many embedded systems belong to the class of reactive systems, which actively reacts to the environm...

Synchronousprogramming of reactive systems

Nicholas Halbwachs
Paul Caspi
Pascal Raymond
Daniel Pilaud

January 1993

This paper describes the language LUSTRE which is a data flow synchronous language, designed for pro...

Representation and Analysis of Reactive Behaviors: A Synchronous Approach

Charles André

January 1996

Reactive systems involve communication, concurrency and preemption. Few models support these three c...

Synchronous programming of reactive systems, a tutorial and commented bibliography

Nicolas Halbwachs

January 1998

Pnueli [HP85], and is now commonly accepted to designate permanently op-erating systems, and to dist...

Algorithmes distribues synchrones et systemes repartis asynchrones : concepts, mise en oeuvre et experimentations

Adam, Michel
Ingels, Philippe
Raynal, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA).
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems

Iooss, Guillaume
Cohen, Albert
Potop-Butucaru, Dumitru
Pouzet, Marc
Bregeon, Vincent
Souyris, Jean
Baufreton, Philippe

June 2022

International audienceThe design and implementation of reactive, hard real-time systems involves mod...

The ESTEREL synchronous programming language and its mathematical semantics

Berry, Gerard
Cosserat, Laurent
Institut National de Recherche en Informatique et en Automatique, Centre Sophia-Antipolis Valbonne (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Synchronous programming-foundations. 1

Budde, R.
Poigne, A.
Sylla, K.H.

January 2002

This is the first part of a series of three articles on synchronous programming. It introduces the b...

Synchronous Programming (Dagstuhl Seminar 13471)

Edwards, Stephen A.
Girault, Alain
Schneider, Klaus

January 2014

Synchronous programming languages are programming languages with an abstract (logical) notion of tim...

Synchronous/Reactive Programming of Concurrent System

Bruce R. Montague
Charles E. Mcdowell

January 1997

Synchronous languages are intended for programming reactive systems. Reactive systems, which include...

The synchronous approach to reactive and real-time systems

Benveniste, Albert
Berry, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1991

IRISA - Publication interne no 581, 36 p., avril 1991SIGLEAvailable at INIST (FR), Document Supply S...

A Synchronous Approach to Reactive System Design1

Charles André

December 2014

Reactive systems are systems that maintain permanent interactions with their environment. In this pa...

Programmation Réactive Synchrone, Langage et Contrôle des Ressources

Dabrowski, Frederic

June 2007

Reactive system continuously interact with an environment.Synchronous languages (a family of languag...

Systemes reactifs et programmation synchrone

Berry, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1986

CNRS 14802E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc

The Esterel synchronous programming language: design, semantics, implementation

Berry, Gerard
Gonthier, Georges
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Centre de Sophia Antipolis

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Esterel Is An Imperative, Synchronous And Reactive Programming Language

September 2016

Many embedded systems belong to the class of reactive systems, which actively reacts to the environm...

Synchronousprogramming of reactive systems

Nicholas Halbwachs
Paul Caspi
Pascal Raymond
Daniel Pilaud

January 1993

This paper describes the language LUSTRE which is a data flow synchronous language, designed for pro...

Representation and Analysis of Reactive Behaviors: A Synchronous Approach

Charles André

January 1996

Reactive systems involve communication, concurrency and preemption. Few models support these three c...

Synchronous programming of reactive systems, a tutorial and commented bibliography

Nicolas Halbwachs

January 1998

Pnueli [HP85], and is now commonly accepted to designate permanently op-erating systems, and to dist...

Algorithmes distribues synchrones et systemes repartis asynchrones : concepts, mise en oeuvre et experimentations

Adam, Michel
Ingels, Philippe
Raynal, Michel
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA).
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1988

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems

Iooss, Guillaume
Cohen, Albert
Potop-Butucaru, Dumitru
Pouzet, Marc
Bregeon, Vincent
Souyris, Jean
Baufreton, Philippe

June 2022

International audienceThe design and implementation of reactive, hard real-time systems involves mod...

The ESTEREL synchronous programming language and its mathematical semantics

Berry, Gerard
Cosserat, Laurent
Institut National de Recherche en Informatique et en Automatique, Centre Sophia-Antipolis Valbonne (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Synchronous programming-foundations. 1

Budde, R.
Poigne, A.
Sylla, K.H.

January 2002

This is the first part of a series of three articles on synchronous programming. It introduces the b...

Synchronous Programming (Dagstuhl Seminar 13471)

Edwards, Stephen A.
Girault, Alain
Schneider, Klaus

January 2014

Synchronous programming languages are programming languages with an abstract (logical) notion of tim...

Synchronous programming of reactive systems: an introduction to ESTEREL

Abstract

Extracted data

Synchronous programming of reactive systems: an introduction to ESTEREL

Abstract

Extracted data

Related items

Related items