Web Service Interface Extending and Description Based on pi Calculus. - Chi Zhang 015 (ISCSCT (1), 2008)

Software components composition compatibility checking based on behavior description. - Chi Zhang 015 (GrC, 2009)

Research on Web Services composition based on behavior protocol. - Chi Zhang 015 (GrC, 2009)