Specification and Verification of Data and Time in Web Service Composition. - Guangquan Zhang 002; Haojun Di; Mei Rong; Huijuan Shi (WISM (2), 2011)

Model Checking for Asynchronous Web Service Composition Based on XYZ/ADL. - Guangquan Zhang 002; Huijuan Shi; Mei Rong; Haojun Di (WISM (2), 2011)