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
Relation Algebra by Alasdair Armstrong, Simon Foster π§, Georg Struth π and Tjark Weber π Jan 25
Kleene Algebra with Tests and Demonic Refinement Algebras by Alasdair Armstrong, Victor B. F. Gomes π and Georg Struth π Jan 23