The following publications are possibly variants of this publication:
- Verifying Composite Service Transactional Behavior with EVENT-BLazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. ecsa 2011: 67-74 [doi]
- Verifying Composite Service Transactional Behavior with EVENT-BLazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. skg 2011: 99-106 [doi]
- Event-Based Design and Runtime Verification of Composite Service Transactional BehaviorWalid Gaaloul, Sami Bhiri, Mohsen Rouached. tsc, 3(1):32-45, 2010. [doi]
- An Event-B based approach for cloud composite services verificationAida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb. fac, 32(4-6):361-393, 2020. [doi]
- Verifying Composite Service Transactional Behavior Using Event CalculusWalid Gaaloul, Mohsen Rouached, Claude Godart, Manfred Hauswirth. otm 2007: 353-370 [doi]