The theory of deadlock avoidance via discrete control (2009)

by Y WANG, S LAFORTUNE, T KELLY, M KUDLUR, S MAHLKE
Venue:In Proceedings of the ACM Symposium on Principles of Programming Languages