Concurrent Refinement Algebra and Rely Quotients by Julian Fell, Ian J. Hayes and Andrius Velykis Dec 30