Zhenguo Yang, Farong Zhong, Jinfang Zhang, Tiantian Song. On Action Permutation and Progress for Partially Commutative Asynchronous Binary Sessions. In Yang Xiang, Mukaddim Pathan, Xiaohui Tao, Hua Wang, editors, Internet and Distributed Computing Systems - 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings. Volume 7646 of Lecture Notes in Computer Science, pages 120-133, Springer, 2012. [doi]
Abstract is missing.