ASYNC Loop Constructs for Relaxed Synchronization. - Russell Meyers; Zhiyuan Li 001 (LCPC, 2008)