Liping Chen. A Formal Transaction Model for Web Service Composition. In 4th International Symposium on Computational Intelligence and Design, ISCID 2011, Hangzhou, China, October 28-30, 2011, 2 Volumes. pages 310-313, IEEE, 2011. [doi]
Abstract is missing.