Resolving distributed deadlocks in the OR request model | Publicación