Quantitative relaxation of concurrent data structures.

Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova

Browse the full POPL paper archive.