A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions | IEEE Conference Publication | IEEE Xplore