Chao Wang 0069, Peng Wu 0002, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu 0001. Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects. In Timothy Bourke, Liqian Chen, Amir Kafshdar Goharshady, editors, Dependable Software Engineering. Theories, Tools, and Applications - 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings. Volume 15469 of Lecture Notes in Computer Science, pages 236-255, Springer, 2024. [doi]
Abstract is missing.