The theory of deadlock avoidance via discrete control.

Yin Wang, Stphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke

Browse the full POPL paper archive.