Verification of a Lock-Free Implementation of Multiword LL/SC Object.

Hui Gao, Yan Fu, Wim H. Hesselink

Browse the full DASC paper archive.