Woorim Choi, Yeongbok Choe, Moonkun Lee. A Reduction Method for Process and System Complexity with Conjunctive and Complement Choices in a Process Algebra. In Sheikh Iqbal Ahamed, Carl K. Chang, Williamc C. Chu, Ivica Crnkovic, Pao-Ann Hsiung, Gang Huang 0001, Jingwei Yang, editors, 39th Annual Computer Software and Applications Conference, COMPSAC Workshops 2015, Taichung, Taiwan, July 1-5, 2015 . pages 381-386, IEEE, 2015. [doi]
Abstract is missing.