Idir Aït-Sadoune, Yamine Aït Ameur. Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B. In Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger, editors, Correct Software in Web Applications and Web Services. pages 1-27, Springer, 2015. [doi]
Abstract is missing.