Parallel Program Correctness Through Refinement

Thomas W. Doeppner Jr.. Parallel Program Correctness Through Refinement. In POPL. pages 155-169, 1977.

Abstract

Abstract is missing.