Algebraic Modeling and Verification of Web Service Composition.

Gopal N. Rai, G. R. Gangadharan, Vineet Padmanabhan

Browse the full ANT paper archive.