A distributed deadlock detection and resolution algorithm and its correctness proof | IEEE Journals & Magazine | IEEE Xplore