✦ LIBER ✦

Concurrent Kleene Algebra and its Foundations

✍ Scribed by Tony Hoare; Bernhard Möller; Georg Struth; Ian Wehrman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Kleene Algebra and Bytecode Verification

✍ Łucja Kot; Dexter Kozen 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 270 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

A Kleene Algebra of Tagged System Actors

✍ Dey, S.; Sarkar, D.; Basu, A. 📂 Article 📅 2011 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 155 KB

Relations and Kleene Algebras in Compute

✍ Renate A. Schmidt; Georg Struth 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 67 KB

Relations and Kleene algebras in compute

✍ Rudolf Berghammer; Bernhard Möller; Georg Struth 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 171 KB