Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated.

Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev

Browse the full POPL paper archive.