Optimal deadlock detection in distributed systems based on locally constructed wait-for graphs | IEEE Conference Publication | IEEE Xplore