Wangyang Yu, GuanJun Liu, Leifeng He. A Reduction Method of Analyzing Data-Liveness and Data-Boundedness for a Class of E-commerce Business Process Nets. In Guojun Wang, Indrakshi Ray, Jose M. Alcaraz Calero, Sabu M. Thampi, editors, Security, Privacy, and Anonymity in Computation, Communication, and Storage - 9th International Conference, SpaCCS 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings. Volume 10066 of Lecture Notes in Computer Science, pages 70-83, 2016. [doi]
Abstract is missing.