On Implementations and Semantics of a Concurrent Programming Language.

Peter Sewell

Browse the full CONCUR paper archive.