Full Abstraction for a Shared Variable Parallel Language

Stephen D. Brookes

Browse the full LICS paper archive.