A–maze–ing Esterel | Zendy

Joaquín Aguado | Zendy; Michael Mendler | Zendy; Gerald Lüttgen | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A–maze–ing Esterel

Author(s) -

Joaquín Aguado,

Michael Mendler,

Gerald Lüttgen

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2003.05.006

Subject(s) - computer science , constructive , programming language , abstract interpretation , semantics (computer science) , computation , theoretical computer science , kernel (algebra) , fragment (logic) , perspective (graphical) , interpretation (philosophy) , mathematics , artificial intelligence , discrete mathematics , process (computing)

This paper shows that the kernel fragment of Esterel corresponding to combinational circuits admits a natural game{theoretic interpretation. Technically, combinational Esterel programs are mapped into nite two{player games in such a way that the standard must{ and cannot{analysis of signal statuses is reected in the compu- tation of winning strategies. The novel game{theoretic approach complements the existing behavioral, operational, circuit{based, and model{theoretic accounts of Es- terel's semantics and oers a new didactic perspective for familiarizing students and engineers with this intricate constructive semantics.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research