Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools.

Alasdair Armstrong, Victor B. F. Gomes, Georg Struth

Browse the full FM paper archive.