Concurrent Refinement Algebra and Rely Quotients. - Julian Fell; Ian J. Hayes; Andrius Velykis (Arch. Formal Proofs, 2016)