Reasoning on Formalizing WS-CDL Mobility Using Process Algebra.
Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference, 2010
Model Checking UML Activity Diagrams in FDR.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009
Towards Formalizing UML Activity Diagrams in CSP.
Proceedings of the 2008 International Symposium on Computer Science and Computational Technology, 2008