Jinjiang Lei

According to our database, Jinjiang Lei authored at least 4 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Rely-Guarantee Based Reasoning for Message-Passing Programs.

Jinjiang Lei, Zongyan Qiu

Sci. Ann. Comput. Sci., 2014

Trace-Based Temporal Verification for Message-Passing Programs.

Jinjiang Lei, Zongyan Qiu, Zhong Shao

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Modular Reasoning for Message-Passing Programs.

Jinjiang Lei, Zongyan Qiu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2011

Verification of Scalable Synchronous Queue.

Jinjiang Lei, Zongyan Qiu

Proceedings of the Certified Programs and Proofs - First International Conference, 2011