A simple proof system for lock-free concurrency

Citation:
Caires, L, Ferreira C, Ravara A.  2010.  A simple proof system for lock-free concurrency. International Workshop on Proof Systems for Program Logics (PSPL).

Abstract:

n/a

Notes:

n/a