Deadlock Detection in Distributed Systems. - Dominique Ambroise; Brigitte Rozoy; Jean Saquet (CATA, 2003)