The Full List of Research Papers:

X. Wang, A.W. Roscoe, R.S. Lazic; Translating CSP trace refinement to Unity unreachability : a study in data independence; Submitted for journal publication.

X. Wang, M. Kwiatkowska; On process-algebraic verification of asynchronous circuits; Fundamenta Informaticae, Vol. 80, 2007.

X. Wang, M. Kwiatkowska; Compositional state space reduction using untangled actions; 13th InternationalWorkshop on Expressiveness in Concurrency (EXPRESS 2006), Bonn, Germany, August 2006.

X. Wang, M. Kwiatkowska; On process-algebraic verification of asynchronous circuits; Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), IEEE Computer Society Press, Turku, Finland, June, 2006.

X. Wang, M. Kwiatkowska, G. Theodoropoulos, Q. Zhang; Opportunities and challenges in process-algebraic verification of asynchronous circuit designs; Second International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS 2005), ENTCS 146(2): 189-206, Verona, Italy, 2005.

X. Wang, M. Kwiatkowska, G. Theodoropoulos, Q. Zhang; Towards a unifying CSP approach for hierarchical verification of asynchronous hardware; Fourth International Workshop on Automated Verification of Critical Systems (AVOCS 2004), ENTCS 128(6): 231-246, London, UK, 2004.

X. Wang, A.W. Roscoe, R.S. Lazic; Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption; Fourth International Conference on Integrated Formal Methods (IFM 2004), LNCS 2999: 247-266, Canterbury, UK, 2004.

X. Wang, S.C. Cheung, J. Wei; A CSP and Z Combined Modeling of Document Exchanging Processes in E-Commerce Protocols; Information and Software Technology (vol. 44, no.14), Elsevier, November 2002.

X.Wang, S.C. Cheung, J.Wei; On the Modeling of Document Exchanging Processes in E-Commerce Protocols; Second Asia-Pacific Conference On Quality Software (APAQS 2001), IEEE Computer Society Press, Hong Kong, December 2001.

X. Wang, T. Huang, Y. Feng; A Formal Language for Distributed Programming with Resources and Scope; Journal of Software, April 2001.

X. Wang; Towards a Calculus of Distributed Resources and Scope; IFIP World Computer Congress 2000 (ICS2000) Proceedings, August 2000.

J. Wei, S.C. Cheung, H. Zhou, X.Wang; Modeling and Verifying Strong Cache Consistency for Mobile Data Access; Proceedings of 12th International Symposium on Software Reliability Engineering (ISSRE01), IEEE Computer Society Press, November, 2001.

J. Wei, S.C. Cheung, X. Wang; Exploiting Automatic Analysis of E-Commerce Protocols; Proceedings of 25th Annual International Computer Software and Applications Conference (COMPSAC), Chicago, October 2001.

J. Wei, S.C. Cheung, and X. Wang, Towards a Methodology for Formal Design and Analysis of Agent Interaction Protocols - An Investigation in Electronic Commerce, in the Proceedings of International Software Engineering Symposium (ISES '2001), Wuhan, Hubei, China, March 2001.

J. Koning, M. Huget, J. Wei, X. Wang; Extended Modeling languages for interaction protocols engineering; The Second International Workshop on Agent Oriented Software Engineering (AOSE-2001), May 2001.

T. Huang, J. Qian, X. Wang; Object Calculus II; Journal of Software, September 1999 (in Chinese).

X. Wang, T. Huang, J. Qian; Group Model for Distributed Federation of Object Creation Service; International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-27), by Bertrand Meyer etc., IEEE Computer Society Press, September 1998.

Technical reports:

K. Boumaza, J.W. Sanders and X. Wang. Timing models for asynchronous circuits. Research Report 397, UNU-IIST, May 2008.

X. Wang, M. Kwiatkowska. Compositional state space reduction using untangled actions. Technical report CSR-06-7, School of Computer Science, University of Birmingham, UK, 2006.

X. Wang. A CSP translation of Balsa handshake components. Technical report CSR-04-11, School of Computer Science, University of Birmingham, UK, 2004.

A.W. Roscoe, X. Wang and R.S. Lazic. Translating CSP trace refinement to UNITY unreachability : a study in data independence. No. RR-03-08, Technical Report, Oxford University Computing Laboratory. 2003.

X. Wang. A CSP and Z formal specification of Internet Open Trading Protocol. Technical Report (HKUST-CS02-03), Department of Computer Science, Hong Kong University of Science and Technology, 2002.

X. Wang, S.C. Cheung and J. Wei. Merging data flow with control flow: a closer semantic integration of Z and CSP. Technical Report (HKUST-CS01-09), Department of Computer Science, Hong Kong University of Science and Technology, 2001.