| |
| 2009 | ||
|---|---|---|
| 2 | EE | Damien Imbs, Michel Raynal: Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. ICDCN 2009: 67-78 |
| 2008 | ||
| 1 | EE | Damien Imbs, Michel Raynal: A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. OPODIS 2008: 226-245 |
| 1 | Michel Raynal | [1] [2] |