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 metadatas

https://hal.telecom-paristech.fr/hal-02287768
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 5:19:39 PM
Last modification on : Thursday, October 17, 2019 - 12:36:59 PM

Links full text

Identifiers

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

10