Efficient distributed deadlock avoidance with liveness guarantees | Publicación