Jianhua Li, Songqiao Chen, Lin Jian, Hongyu Zhang. A Web Services Composition Model and Its Verification Algorithm Based on Interface Automata. In IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, Changsha, China, 16-18 November, 2011. pages 1556-1563, IEEE, 2011. [doi]
Abstract is missing.