Correctness of a distributed deadlock resolution algorithm for the single request model | IEEE Conference Publication | IEEE Xplore