H ? « »

Language peer sets for Esterel:
Designed 1984
1980s languages
Fourth generation
Late Cold War
Experimental and other
Experimental and other/1984
Experimental and other/fr


alternate simple view
Country: France
Designed 1984
Published: 1984
Sammet category: Experimental and other

Distributed language for synchronous interaction of real-time systems with their environment. Uses explicit timing requests.

Esterel programs are compiled into finite automata.

Related languages
Esterel RT-CDL   Inspired by
Esterel SL   Extension of

  • Berry, G. (1985) Berry, G. and I. Cosserat. The ESTEREL synchronous programming language and its mathematical semantics. In S. Brookes and G. Winskel, editors, Seminar on Concurrency, pages 389--448, 1985. Lecture Notes in Computer Science 197.
  • Liu, L. Y. H. and Shyamasundar, R. K. (1989) Liu, L. Y. H. and Shyamasundar, R. K. "An operational semantics of real time design language RT-CDL" Proceedings of the 5th International Workshop on Software Specifications & Design Pittsburgh, Pennsylvania, United States 1989 pp75-82 Extract: Motivation and Related Work
  • Frederic Boussinot and Robert de Simone. (1991) Frederic Boussinot and Robert de Simone. The ESTEREL language. Technical Report 1487, INRIA Sophia-Antipolis, July 1991.
  • Claude Castelluccia, Walid Dabbous, and Sean O’Mal (1996) Claude Castelluccia, Walid Dabbous, and Sean O’Malley. Generating efficient protocol code from an abstract specification. In Proceedings of the ACM SIGCOMM 1996 Conference, pages 60–71, August 1996.
  • Berry, Gérard (1998) Berry, Gérard "The Esterel v5 Language Primer Version 5.10, release 2.0" Abstract Online copy
  • Berry, Gerard (1998) Berry, Gerard "The Foundations of Esterel" in Proof, Language and Interaction: Essays in Honour of Robin Milner MIT Press, 1998 Online copy
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder