A fast method of deadlock avoidance Piotr Bak — 1984 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications