Deadlock Detection in Distributed Systems.

Dominique Ambroise, Brigitte Rozoy, Jean Saquet

Browse the full CATA paper archive.