Ian J. Hayes

 

Entries

2017
June 13: Partial Semigroups and Convolution Algebras

 

2016
December 30: Concurrent Refinement Algebra and Rely Quotients