Rely-Guarantee Extensions and Locks by Robert J. Colvin, Scott Heiner, Peter Höfner and Roger C. Su Nov 21
Kleene Algebras with Domain by Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth and Tjark Weber Apr 12