Horatiu Jula George Candea A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. 119-136 2008 RV http://dx.doi.org/10.1007/978-3-540-89247-2_8 conf/rv/2008 db/conf/rv/rv2008.html#JulaC08