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

https://hal.telecom-paris.fr/hal-02287768
Contributor : Telecomparis Hal Connect in order to contact the contributor
Submitted on : Friday, September 13, 2019 - 5:19:39 PM
Last modification on : Tuesday, October 19, 2021 - 11:14:16 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

61