✦ LIBER ✦

PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

✍ Scribed by Gul Agha; José Meseguer; Koushik Sen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structure-preserving specification langu

✍ Frank van Harmelen; Manfred Aben 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 388 KB

A system for 3D texture-based probabilis

✍ Marcin Grzegorzek 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 1016 KB

An Open System Operational Semantics for

✍ Jasmin Christian Blanchette; Olaf Owe 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 341 KB

Object-oriented specification of a bandw

✍ Jean-Paul Gaspoz 📂 Article 📅 1995 🏛 Springer-Verlag 🌐 English ⚖ 1012 KB

[IEEE Comput. Soc 34th International Con

✍ Megaache, S.; Karran, T.; Justo, G.R.R. 📂 Article 📅 2000 🏛 IEEE Comput. Soc ⚖ 613 KB