Detecting deadlock with client-server analysis.

Innes Jelly, M. Mastroianni, Stefano Russo, Carlo Savy, Peter R. Croll

Browse the full PDP paper archive.