Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort.

Damien Imbs, Michel Raynal

Browse the full ICDCN paper archive.