Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects.
Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu
Browse the full SETTA paper archive.
Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu
Browse the full SETTA paper archive.