Skip to Main content Skip to Navigation


hal-02287873v1  Book sections
Hagit AttiyaSandeep HansPetr KuznetsovSrivatsan 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⟩