Unifying Theories for Parallel Programming.

C. A. R. Hoare, Jifeng He

Browse the full EuroPar paper archive.