A Compositional Proof System for Shared Variable Concurrency.

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

Browse the full FM paper archive.