César Sánchez Henny B. Sipma Zohar Manna Christopher D. Gill Efficient distributed deadlock avoidance with liveness guarantees. 12-20 2006 conf/emsoft/2006 EMSOFT http://doi.acm.org/10.1145/1176887.1176891 db/conf/emsoft/emsoft2006.html#SanchezSMG06