A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Towards a Model Theory for Esterel
2002
Electronical Notes in Theoretical Computer Science
Esterel is a synchronous language for reactive{systems design and builds the core of the commercial tool Esterel Studio. This paper shows how the constructive semantics of a combinational fragment of Esterel, as presented by B e r r y , can be derived in a model{theoretic fashion, thus complementing the existing behavioral, operational, and circuit{based approaches to Esterel semantics. Technically, Esterel programs are read as formulas in propositional intuitionistic logic, which are
doi:10.1016/s1571-0661(05)80444-x
fatcat:j2ll43b3pjdzhanrbtywwq3pyq