Non-interference and local correctness in transactional memory - Archive ouverte HAL Access content directly
Journal Articles Theor. Comput. Sci. Year : 2017

Non-interference and local correctness in transactional memory

(1, 2) ,
1
2

Dates and versions

hal-02287768 , version 1 (13-09-2019)

Identifiers

Cite

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⟩
15 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More