A safe distributed deadlock resolution algorithm | Publicación