The following publications are possibly variants of this publication:
- A Logic-Based Approach to Web Services Composition and VerificationHongbing Wang, Chen Wang, Yan Liu. services 2009: 103-110 [doi]
- Ranking-Based Suggestion Algorithms for Semantic Web Service CompositionRui Wang, Sumedha Ganjoo, John A. Miller, Eileen Kraemer. services 2010: 606-613 [doi]
- Describing and Verifying Web Service Composition Using TLA ReasoningHongbing Wang, Qianzhao Zhou, Yanqi Shi. IEEEscc 2010: 234-241 [doi]
- An Adaptive Solution for Web Service CompositionHongbing Wang, Xiaohui Guo. services 2010: 503-510 [doi]
- A Distributed Agent Coalition Algorithm for Web Service CompositionHongxia Tong, Jian Cao, Shensheng Zhang, Minglu Li. services 2009: 62-69 [doi]
- Verifying WS-CDL-Based Web Services Collaboration by Model CheckingZuling Kang, Hongbing Wang. services 2009: 554-561 [doi]