Completeness and Nondeterminism in Model Checking Transactional Memories.

Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh

Browse the full CONCUR paper archive.