Analysis of CMH deadlock-detection algorithm using transmission delays. - Ratan K. Guha; Arthur F. Dickinson; Allan Kikawa (Comput. Syst. Sci. Eng., 1988)