The theory of deadlock avoidance via discrete control (2009)

by Y Wang, S Lafortune, T Kelly, M Kudlur, S A Mahlke
Venue:In POPL’09