Matthew L. Hale, Michael T. Gamble, Rose F. Gamble. A Design and Verification Framework for Service Composition in the Cloud. In IEEE Ninth World Congress on Services, SERVICES 2013, Santa Clara, CA, USA, June 28 - July 3, 2013. pages 317-324, IEEE, 2013. [doi]
Abstract is missing.