A Partition-Based Model Checking Method for Verifying Communication Protocols with SPIN. - Xinchang Zhang 001; Meihong Yang; Xingfeng Li 005; Huiling Shi (ISIA, 2010)

A two-tiered reliable application layer multicast. - Xinchang Zhang 001; Meihong Yang; Guanggang Geng; Wanming Luo; Xingfeng Li 005 (Comput. Sci. Inf. Syst., 2011)