Xutao Du

	2011
8		Xutao Du, Chunxiao Xing, Lizhu Zhou: Comparing Process Behaviors with Finite Chu Spaces. IEICE Transactions 94-D(6): 1321-1324 (2011)
7		Xutao Du, Chunxiao Xing, Lizhu Zhou, Ke Han: Modeling Control Flow in WS-BPEL with Chu Spaces. IJISSS 3(4): 1-21 (2011)
	2010
6		Xutao Du, Chun-Xiao Xing, Li-Zhu Zhou: Modeling and Verifying Concurrent Programs with Finite Chu Spaces. J. Comput. Sci. Technol. 25(6): 1168-1183 (2010)
	2009
5		Xutao Du, Chunxiao Xing, Lizhu Zhou: A Chu spaces semantics of control flow in BPEL. APSCC 2009: 142-149
	2008
4		Xutao Du, Chunxiao Xing, Lizhu Zhou: Abstract Reachability Graph for Verifying Web Service Interfaces. ICSR 2008: 262-265
3		Xutao Du, Chunxiao Xing, Lizhu Zhou: Reachability analysis of Web service interfaces. IRI 2008: 40-45
2		Xutao Du, Chunxiao Xing, Lizhu Zhou: Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper). QSIC 2008: 114-119
	2003
1		Xutao Du, Zhoujun Li: A Proof Assistant for Mobile Processes. APPT 2003: 204-214

Coauthor Index

1	Ke Han	[7]
2	Zhoujun Li	[1]
3	Chunxiao Xing (Chun-Xiao Xing)	[2] [3] [4] [5] [6] [7] [8]
4	Lizhu Zhou (Li-Zhu Zhou)	[2] [3] [4] [5] [6] [7] [8]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page