3 ms·

Could you point to me to Esterel's formal semantics? Last time we discussed, you also mentioned Esterel, so I was a little bit curious, but, after 30 minutes of

• pron 11y ago
  * The Esterel Synchronous Programming Language: Design, Semantics, Implementation (1992) : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.5606 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.5... * The Constructive Semantics of Pure Esterel (1999): http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.2076 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.2... Both by Gérard Berry (https://en.wikipedia.org/wiki/G%C3%A9rard_Berry https://en.wikipedia.org/wiki/G%C3%A9rard_Berry)
  • catnaroek 11y ago
    Thanks.