✦ LIBER ✦

Bialgebras for structural operational semantics: An introduction

✍ Scribed by Bartek Klin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guesteditors'introduction:Specialissueon

✍ Luca Aceto; Wan Fokkink 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 131 KB

Structural operational semantics for AKL

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

Bialgebraic methods and modal logic in s

✍ Bartek Klin 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 540 KB

An operational semantics for Stateflow

✍ Grégoire Hamon; John Rushby 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 985 KB

A structural operational semantics for a

✍ Wei Li 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 448 KB

A structural operational semantics for a

✍ Wei Li 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 376 KB