Publications

Thesis

• Trace-Based Semantics and Reasoning for Concurrent Programs

Published

• Rely-Guarantee Modular Based Reasoning for Message-Passing Programs

Jinjiang Lei and Zongyan Qiu

In Scientific Annals of Computer Science, pages(217 -- 252), Volumn XXIV, Issue 2, 2014.

Bucharest, Romania, pages(to appear), Sept., 2014. © 2014 Springer-Verlag.

• Modular Reasoning for Message-passing Programs

Jinjiang Lei and Zongyan Qiu

In Proc. the 11th International Colloquium on Theoretical Aspects of Computing (ICTAC' 2014),

Bucharest, Romania, pages(to appear), Sept., 2014. © 2014 Springer-Verlag.

• Trace-Based Temporal Verification of Message-Passing Programs

Jinjiang Lei, Zongyan Qiu, and Zhong Shao

In Proc, the 8th International Symposium on Theoretical Aspects of Software Engineering (TASE' 2014),

Changsha, China, pages(to appear), Sept., 2014. © 2014 IEEE Computer Society.

• Verification of Scalable Synchronous Queue

Jinjiang Lei, and Zongyan Qiu

In Proc, the 1st International Conference Certified Programs and Proofs (CPP' 2011),

Kenting, Taiwan, pages(247 - 263), Dec., 2011. © 2011 Springer-Verlag.