Specify and Compose Web Services by TLA

Hongbing Wang, Hui Liu, Xiaohui Guo. Specify and Compose Web Services by TLA. In 2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China. pages 766-767, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.