A deterministic logical semantics for pure Esterel

  title={A deterministic logical semantics for pure Esterel},
  author={Olivier Tardieu},
  journal={ACM Trans. Program. Lang. Syst.},
Esterel is a synchronous design language for the specification of reactive systems. There exist two main semantics for Esterel. On the one hand, the logical behavioral semantics provides a simple and compact formalization of the behavior of programs using SOS rules. But it does not ensure deterministic deadlock-free executions, as it may define zero, one, or many possible behaviors for a given program and input sequence. Since nondeterministic programs have to be rejected by compilers, this… CONTINUE READING
Highly Cited
This paper has 56 citations. REVIEW CITATIONS


Publications citing this paper.

56 Citations

Citations per Year
Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…