A fast method of deadlock avoidance Piotr Bak RAIRO. Inform. théor., 18 1 (1984) 71-80 Published online: 01 February 2017 DOI: 10.1051/ita/1984180100711