Russell Meyers Zhiyuan Li ASYNC Loop Constructs for Relaxed Synchronization. 292-303 2008 LCPC http://dx.doi.org/10.1007/978-3-540-89740-8_20 conf/lcpc/2008 db/conf/lcpc/lcpc2008.html#MeyersL08