Partial Semigroups and Convolution Algebrasby Brijesh Dongol, Victor B. F. Gomes, Ian J. Hayes and Georg Struth13 Jun
Concurrent Refinement Algebra and Rely Quotientsby Julian Fell, Ian J. Hayes and Andrius Velykis30 Dec