Partial Semigroups and Convolution Algebras by Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes and Georg Struth Jun 13
Concurrent Refinement Algebra and Rely Quotients by Julian Fell, Ian J. Hayes and Andrius Velykis Dec 30