Hongbing Wang, Qianzhao Zhou, Yanqi Shi. Describing and Verifying Web Service Composition Using TLA Reasoning. In 2010 IEEE International Conference on Services Computing, SCC 2010, Miami, Florida, USA, July 5-10, 2010. pages 234-241, IEEE Computer Society, 2010. [doi]
Abstract is missing.