✦ LIBER ✦

Guesteditors'introduction:Specialissueon Structural Operational Semantics

✍ Scribed by Luca Aceto; Wan Fokkink

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bialgebras for structural operational se

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

Modular structural operational semantics

✍ Peter D Mosses 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 328 KB

Structural operational semantics for AKL

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

Special issue on structural operational

✍ Rob van Glabbeek; Peter D. Mosses 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 75 KB

The origins of structural operational se

✍ Gordon D Plotkin 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 207 KB

Executable structural operational semant

✍ Alberto Verdejo; Narciso Martí-Oliet 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 1005 KB