The synchronous programming language Esterel and its mathematical semantics

@inproceedings{Berry1984TheSP,
  title={The synchronous programming language Esterel and its mathematical semantics},
  author={G{\'e}rard Berry and Laurent Cosserat},
  year={1984}
}
Polymers of ethylene, an alpha mono-olfin, and ethylidene bicycloheptene which can be sulfur-cured to form elastomers. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 41 CITATIONS

Unity, as a Tool for Reactive Systems Specification and Derivation

  • Fifth Euromicro Workshop on Real-Time Systems
  • 1993
VIEW 9 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

A Compositional Axiomatization of Statecharts

  • Theor. Comput. Sci.
  • 1992
VIEW 7 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

A deterministic logical semantics for pure Esterel

  • ACM Trans. Program. Lang. Syst.
  • 2007
VIEW 1 EXCERPT
CITES BACKGROUND
HIGHLY INFLUENCED

Input Device Selection and Interaction Configuration with ICON

Pierre Dragicevic, Jean-Daniel Fekete
  • BCS HCI/IHM
  • 2001
VIEW 3 EXCERPTS
HIGHLY INFLUENCED

Performance Evaluation of Mobile Processes via Abstract Machines

  • IEEE Trans. Software Eng.
  • 2001
VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Towards Coq-verified Esterel Semantics and Compiling

G'erard Berry, Lionel Rieg
  • ArXiv
  • 2019

A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems

  • 10th IEEE International Symposium on Industrial Embedded Systems (SIES)
  • 2015
VIEW 1 EXCERPT
CITES BACKGROUND