Coqa: Concurrent Objects with Quantized Atomicity.

Yu David Liu, Xiaoqi Lu, Scott F. Smith

Browse the full CC paper archive.