✦ LIBER ✦

Modular structural operational semantics

✍ Scribed by Peter D Mosses

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

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

Implicit Propagation in Structural Opera

✍ Peter D. Mosses; Mark J. New 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 329 KB