Relation Algebra
by Alasdair Armstrong, Simon Foster, Georg Struth and Tjark Weber
Alasdair Armstrong
2014
Kleene Algebra with Tests and Demonic Refinement Algebras
by Alasdair Armstrong, Victor B. F. Gomes and Georg Struth
2013
Kleene Algebra
by Alasdair Armstrong, Georg Struth and Tjark Weber