Detecting deadlock with client-server analysis. - Innes Jelly; M. Mastroianni; Stefano Russo 001; Carlo Savy; Peter R. Croll (PDP, 1997)