Towards a Model-Theory for Esterel and Statechart

Esterel is a synchronous language for reactive-systems design and
builds the core of the commercial tool Esterel Studio.  This talk
explores how the constructive semantics of Esterel reactions, as
presented by Berry, can be derived in a model-theoretic fashion.

Technically, Esterel programs are read as formulas in propositional
intuitionistic logic, and Esterel reactions are characterised as
specific intuitionistic models of these formulas.  This approach
offers interesting insights into the similarities of as well as the
differences between the semantics of Esterel and Pnueli and Shalev's
semantics of Statecharts.

                            Prof. Dr.-Ing. Holger Hermanns
  ::::::::::  ::::::::::    Dependable Systems & Software
   :       ::::       :     Department of Computer Science
    :::::::    :::::::      Saarland University
                            66123 Saarbruecken, Germany
  Web:depend.cs.uni-sb.de   Phone:+49 681 302-5630 Fax:-5636 Sec:-5631