Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.

Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever

Browse the full FM paper archive.