✦ LIBER ✦

An operational semantics for Stateflow

✍ Scribed by Grégoire Hamon; John Rushby

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Operational Semantics for Handel-C

✍ Andrew Butterfield; Jim Woodcock 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 189 KB

Bialgebras for structural operational se

✍ Bartek Klin 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 435 KB

Structural operational semantics for AKL

✍ Seif Haridi; Sverker Janson; Catuscia Palamidessi 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 1017 KB

The connection between an event structur

✍ Christel Baier; Mila E. Majster-Cederbaum 📂 Article 📅 1994 🏛 Springer-Verlag 🌐 English ⚖ 921 KB

Linking denotational semantics with oper

✍ Huibiao Zhu; Jifeng He; Jing Li; Geguang Pu; Jonathan P. Bowen 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 267 KB

Constructing type systems over an operat

✍ Robert Harper 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 764 KB