Verifying Non-Deterministic Convergence on a Global Production WAN.

Xing Fang, Fangdan Ye, Yifei Yuan, Zhongyu Guan, Duncheng She, Xiaobo Zhu, Qiao Xiang

Browse the full SIGCOMM paper archive.