Taming Concurrency: A Program Verification Perspective.

Shaz Qadeer

Browse the full CONCUR paper archive.