Decomposable Relaxation for Concurrent Data Structures

Chao Wang, Yi Lv, Peng Wu 0002. Decomposable Relaxation for Concurrent Data Structures. In Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria, editors, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Volume 10139 of Lecture Notes in Computer Science, pages 188-202, Springer, 2017. [doi]

Abstract

Abstract is missing.