A safe algorithm for resolving or deadlocks | Publicación