✦ LIBER ✦

Strong Semantical Characterization for Nondeterministic Programs

✍ Scribed by Laszlo Csirmaz

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Relational semantics for locally nondete

✍ Liangwei Xu; Masato Takeichi; Hideya Iwasaki 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 917 KB

Subformula semantics for strong negation

✍ Seiki Akama 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 421 KB

Formal Semantics for Program Paths

✍ Karl Lermer; Colin Fidge; Ian Hayes 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 230 KB

A fully abstract semantics for a nondete

✍ Alan Jeffrey 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 570 KB

A Coalgebraic Semantics for Epistemic Pr

✍ Alexandru Baltag 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 256 KB

A Process Semantics for Functional Progr

✍ Simon Brock; Gerald Ostheimer 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 335 KB