TY  - RPRT
TI  - Algorithm of Static Deadlock Detection in MPI Synchronization Communication Sequential Model
AU  - Liao Ming-Xue
AU  - He Xiao-Xin
AU  - Fan Zhi-Hua
PY  - 2007
UR  - https://arxiv.org/abs/0709.3693
ID  - 0709.3693
ER  -