A Semantics for Concurrent Separation Logic.

Stephen D. Brookes

Browse the full CONCUR paper archive.