Xutao Du

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

Xutao Du, Chunxiao Xing, Lizhu Zhou
Comparing Process Behaviors with Finite Chu Spaces. IEICE Trans. Inf. Syst. (6) (2011)
Xutao Du, Chunxiao Xing, Lizhu Zhou, Ke Han
Modeling Control Flow in WS-BPEL with Chu Spaces. Int. J. Inf. Syst. Serv. Sect. 3 (4) (2011)
Xutao Du, Chun-Xiao Xing, Li-Zhu Zhou
Modeling and Verifying Concurrent Programs with Finite Chu Spaces. J. Comput. Sci. Technol. 25 (6) (2010)
Xutao Du, Chunxiao Xing, Lizhu Zhou
A Chu Spaces Semantics of BPEL-Like Fault Handling. FCST (2009)
Xutao Du, Chunxiao Xing, Lizhu Zhou
A Chu spaces semantics of control flow in BPEL. APSCC (2009)
Xutao Du, Chunxiao Xing, Lizhu Zhou
Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper). QSIC (2008)
Xutao Du, Chunxiao Xing, Lizhu Zhou
Reachability analysis of Web service interfaces. IRI (2008)
Xutao Du, Chunxiao Xing, Lizhu Zhou
Abstract Reachability Graph for Verifying Web Service Interfaces. ICSR (2008)
Xutao Du, Zhoujun Li
A Proof Assistant for Mobile Processes. APPT (2003)