✦ LIBER ✦

Kleene Algebra and Bytecode Verification

✍ Scribed by Łucja Kot; Dexter Kozen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using probabilistic Kleene algebra pKA f

✍ A.K. McIver; C. Gonzalia; E. Cohen; C.C. Morgan 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 950 KB

Verified lightweight bytecode verificati

✍ Gerwin Klein; Tobias Nipkow 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 187 KB

Java Bytecode Verification: Algorithms a

✍ Xavier Leroy 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 224 KB

Concurrent Kleene Algebra and its Founda

✍ Tony Hoare; Bernhard Möller; Georg Struth; Ian Wehrman 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 554 KB

Guest editor’s introduction: Special iss

✍ Bernhard Möller 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 52 KB

Local variable scoping and Kleene algebr

✍ Kamal Aboul-Hosn; Dexter Kozen 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 204 KB