A Consistent and Complete Deductive System for the Verification of Parallel Programs

Susan S. Owicki

Browse the full STOC paper archive.