Simon Doherty Mark Moir Nonblocking Algorithms and Backward Simulation. 274-288 2009 DISC http://dx.doi.org/10.1007/978-3-642-04355-0_28 conf/wdag/2009 db/conf/wdag/disc2009.html#DohertyM09