Correctness of a distributed deadlock resolution algorithm for the single request model | Publicación