A Formal Reduction for Lock-Free Parallel Algorithms.

Hui Gao, Wim H. Hesselink

Browse the full CAV paper archive.