The foundations of Esterel

By G. Berry. Proof, Language, and Interaction, 2000

570 citations recorded by the source corpus.

Subfields: Astronomy and Astrophysics, Molecular Biology, Physical and Theoretical Chemistry

View Paper: https://www.semanticscholar.org/paper/80b9c9ff87b05f2c38cfd178f86fb4c1efd11f55

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Boon Thau Loo
2. Tyson Condie
3. Joseph M Hellerstein
4. Albert Benveniste
5. Ion Stoica
6. Petros Maniatis
7. Timothy Roscoe
8. Paul Le Guernic

Citations in the corpus

• The synchronous languages 12 years later (2003, background): “program consists of a collection of nested, concurrently running threads described using a traditional imperative syntax (Table 1 is a sampling of the complete language, which has been described elsewhere [3], [14], [15]) whose execution is synchronized to a single, global clock.”
• Implementing declarative overlays (2005, background): “Our planner does not currently handle directly some of the more involved constructs of the OverLog language, such as multi-node rule bodies and the logic of negation; slightly wordier rule rewrites allow us to circumvent these limitations, as the next design iteration of the planner takes shape.”