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