A Proof Assistant for Mobile Processes. - Xutao Du; Zhoujun Li (APPT, 2003)

Abstract Reachability Graph for Verifying Web Service Interfaces. - Xutao Du; Chunxiao Xing; Lizhu Zhou (ICSR, 2008)

Reachability analysis of Web service interfaces. - Xutao Du; Chunxiao Xing; Lizhu Zhou (IRI, 2008)

Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper). - Xutao Du; Chunxiao Xing; Lizhu Zhou (QSIC, 2008)

A Chu spaces semantics of control flow in BPEL. - Xutao Du; Chunxiao Xing; Lizhu Zhou (APSCC, 2009)

A Chu Spaces Semantics of BPEL-Like Fault Handling. - Xutao Du; Chunxiao Xing; Lizhu Zhou (FCST, 2009)

Modeling and Verifying Concurrent Programs with Finite Chu Spaces. - Xutao Du; Chun-Xiao Xing; Li-Zhu Zhou (J. Comput. Sci. Technol., 2010)

Comparing Process Behaviors with Finite Chu Spaces. - Xutao Du; Chunxiao Xing; Lizhu Zhou (IEICE Trans. Inf. Syst., 2011)

Modeling Control Flow in WS-BPEL with Chu Spaces. - Xutao Du; Chunxiao Xing; Lizhu Zhou; Ke Han (Int. J. Inf. Syst. Serv. Sect., 2011)