Christina Peterson, Victor Cook, Damian Dechev. Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures. In 27th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2019, Rennes, France, October 21-25, 2019. pages 83-93, IEEE Computer Society, 2019. [doi]
Abstract is missing.