Static Deadlock Detection in MPI Synchronization Communication - Ming-xue Liao; Xiao-Xin He; Zhi-hua Fan (CoRR, 2007)

Deadlock Detection in Basic Models of MPI Synchronization Communication Programs - Ming-xue Liao; Zhi-hua Fan (CoRR, 2007)

Algorithm of Static Deadlock Detection in MPI Synchronization Communication Sequential Model - Ming-xue Liao; Xiao-Xin He; Zhi-hua Fan (CoRR, 2007)