Verifying Web Services Composition: A Transformation-Based Approach.

Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu

Browse the full PDCAT paper archive.