Optimal Deadlock Detection in Distributed Systems Based on Locally Constructed Wait-for Graphs