Notations for the Specification and Verification of Composite Web Services.

Simon J. Woodman, Doug J. Palmer, Santosh K. Shrivastava, Stuart M. Wheater

Browse the full EDOC paper archive.