Stepwise Design of BPEL Web Services Compositions: An Event_B Refinement Based Approach.

Idir At-Sadoune, Yamine At Ameur

Browse the full SERA paper archive.