"Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools."

Alasdair Armstrong, Victor B. F. Gomes, Georg Struth (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics