Jinjiang Lei, Zongyan Qiu, Zhong Shao. Trace-Based Temporal Verification for Message-Passing Programs. In 2014 Theoretical Aspects of Software Engineering Conference, TASE 2014, Changsha, China, September 1-3, 2014. pages 10-17, IEEE, 2014. [doi]
Abstract is missing.