Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration.

Sara Zatout, Maya Souilah Benabdelhafid, Mahmoud Boufada

Browse the full QRS paper archive.