On abstraction and compositionality for weak-memory linearisability.

Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong

Browse the full VMCAI paper archive.