Tie Bao Shufen Liu Feng Yan Yaorui Wu Xiaochun Li Zhanguo Zhang Shuying Zhang Network Data Collection Formal Analysis Based on Communication Sequential Process. 42-46 2007 CSCWD http://dx.doi.org/10.1109/CSCWD.2007.4281407 conf/cscwd/2007 db/conf/cscwd/cscwd2007.html#BaoLYWLZZ07