A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity.

Horatiu Jula, George Candea

Browse the full RV paper archive.