Verification of Scalable Synchronous Queue. - Jinjiang Lei; Zongyan Qiu (CPP, 2011)

Modular Reasoning for Message-Passing Programs. - Jinjiang Lei; Zongyan Qiu (ICTAC, 2014)

Trace-Based Temporal Verification for Message-Passing Programs. - Jinjiang Lei; Zongyan Qiu; Zhong Shao 001 (TASE, 2014)

Rely-Guarantee Based Reasoning for Message-Passing Programs. - Jinjiang Lei; Zongyan Qiu (Sci. Ann. Comput. Sci., 2014)