Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk).

Philippa Gardner

Browse the full CONCUR paper archive.