Verification of the Burst Send Queuing System Model for Parallel Programs. - Basel A. Mahafzah; William A. Cohen (PDPTA, 1999)