DMCA

Quantitative Relaxation of Concurrent Data Structures (2013)

by Thomas A. Henzinger, et al.
Venue:POPL'13
Citations:15 - 6 self