A Method for the Development of Totally Correct Shared-State Parallel Programs.

Ketil Stlen

Browse the full CONCUR paper archive.