A new algorithm for deadlock avoidance

From MaRDI portal