✦ LIBER ✦

Executable structural operational semantics in Maude

✍ Scribed by Alberto Verdejo; Narciso Martí-Oliet

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modular structural operational semantics

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

Guesteditors'introduction:Specialissueon

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

An Executable Specification of Asynchron

✍ Prasanna Thati; Koushik Sen; Narciso Martí-Oliet 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 294 KB

Implicit Propagation in Structural Opera

✍ Peter D. Mosses; Mark J. New 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 329 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