A set of processes is deadlocked if and only if its resource graph has a directed cycle