Liveness conditions for a safe distributed deadlock resolution algorithm | Publicación