Ian J. Hayes

Partial Semigroups and Convolution Algebras

by Brijesh Dongol 📧, Victor B. F. Gomes 📧, Ian J. Hayes 📧 and Georg Struth 📧

Concurrent Refinement Algebra and Rely Quotients

by Julian Fell 📧, Ian J. Hayes 📧 and Andrius Velykis 🌐