𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards a didactical theory for mathematical modelling

✍ Scribed by Gabriele Kaiser; Morten Blomhøj; Bharath Sriraman


Book ID
110609205
Publisher
Springer-Verlag
Year
2006
Tongue
English
Weight
33 KB
Volume
38
Category
Article
ISSN
1863-9690

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Towards a Model Theory for Esterel
✍ Gerald Lüttgen; Michael Mendler 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 982 KB

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