A Design and Verification Framework for Service Composition in the Cloud.

Matthew L. Hale, Michael Todd Gamble, Rose F. Gamble

Browse the full SERVICES paper archive.