Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi. Safety and Deferred Update in Transactional Memory.
Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015,
⟨10.1007/978-3-319-14720-8_3⟩.
⟨hal-02287873⟩