Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Non-interference and local correctness in transactional memory

Petr Kuznetsov 1, 2 Sathya Peri 
1 ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
Complete list of metadata
Contributor : TelecomParis HAL Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 5:19:39 PM
Last modification on : Wednesday, November 3, 2021 - 8:19:02 AM

Links full text



Petr Kuznetsov, Sathya Peri. Non-interference and local correctness in transactional memory. Theor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩. ⟨hal-02287768⟩



Record views