Haomin Zhan, Guisheng Yin, Changsong Sun, Linshan Shen, Jun Ni. Process Algebra-Based Description for Software Requirement. In International Multisymposiums on Computer and Computational Sciences, IMSCCS 2008, Shanghai, China, October 18-20, 2008. pages 184-189, IEEE Computer Society, 2008. [doi]
Abstract is missing.