Christian F. Orellana Cristian Ruz Yadran Eterovic Self-stabilizing Deadlock Detection Under the OR Requirement Model. 559-570 2006 conf/europar/2006 Euro-Par http://dx.doi.org/10.1007/11823285_58 db/conf/europar/europar2006.html#OrellanaRE06