Bin Cheng, Xingang Wang, Ying Li, Weiqing Tong. Formal Approach for Performance Analysis Oriented Parallel System Design. In Fourth International Conference on Frontier of Computer Science and Technology, FCST 2009, Shanghai, China, 17-19 December, 2009. pages 22-26, IEEE Computer Society, 2009. [doi]
Abstract is missing.