Compiling Esterel into Static Discrete-Event Code

  title={Compiling Esterel into Static Discrete-Event Code},
  author={Stephen A. Edwards and Vimal Kapadia and Michael Halasz},
  journal={Electr. Notes Theor. Comput. Sci.},
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most conveniently described as a set of concurrent processes. As with most forms of simulation, this is easy to do correctly but difficult to do efficiently. Solutions such as preemptive operating systems and discrete-event simulators present significant overhead. In this paper, we present a technique for compiling the… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS