Dominique Ambroise Brigitte Rozoy Jean Saquet Deadlock Detection in Distributed Systems. 210-213 2003 conf/cata/2003 Computers and Their Applications db/conf/cata/cata2003.html#AmbroiseRS03