A distributed deadlock detection and resolution algorithm and its correctness proof
scientific article