✦ LIBER ✦

Special issue on structural operational semantics

✍ Scribed by Rob van Glabbeek; Peter D. Mosses

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

Structural operational semantics for AKL

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

Special issue on Operational Modal Analy

✍ Rune Brincker; Poul Henning Kirkegaard 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 102 KB

Special issue on semantics-enabled softw

📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 122 KB

Special issue on semantics-enabled softw

📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 122 KB