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 is missing.