Partial Semigroups and Convolution Algebras by Brijesh Dongol 📧, Victor B. F. Gomes 📧, Ian J. Hayes 📧 and Georg Struth 📧 Jun 13
Program Construction and Verification Components Based on Kleene Algebra by Victor B. F. Gomes 📧 and Georg Struth 📧 Jun 18
Kleene Algebras with Domain by Victor B. F. Gomes 🌐, Walter Guttmann 🌐, Peter Höfner 🌐, Georg Struth 🌐 and Tjark Weber 🌐 Apr 12
Kleene Algebra with Tests and Demonic Refinement Algebras by Alasdair Armstrong, Victor B. F. Gomes 🌐 and Georg Struth 🌐 Jan 23