Journal Articles
Theor. Comput. Sci.
Year : 2017
TelecomParis HAL : Connect in order to contact the contributor
https://hal.telecom-paris.fr/hal-02287768
Submitted on : Friday, September 13, 2019-5:19:39 PM
Last modification on : Tuesday, February 28, 2023-3:36:24 PM
Dates and versions
Identifiers
- HAL Id : hal-02287768 , version 1
- ARXIV : 1211.6315
- DOI : 10.1016/j.tcs.2016.06.021
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⟩
Collections
15
View
0
Download