A Process Algebra Approach for the Compatibility Analysis of Web Services. - Chen Shu; Wu Guo Qing; Xiao Jing (FGCN (1), 2008)

Modeling and Formal Analysis of Real. - Chen Shu; Wu Guo Qing (ISCSCT (1), 2008)