A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness.

Damien Imbs, Michel Raynal

Browse the full OPODIS paper archive.