Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads.

Cliff B. Jones

Browse the full FM paper archive.