A novel scheduling strategy for an efficient deadlock detection
Deadlock detection without wait-for graphs