Set Partition and Trace Based Verification of Web Service Composition.

Gopal N. Rai, G. R. Gangadharan

Browse the full ANT paper archive.