Toward the Formalization of BPEL.

Laila Boumlik, Mohamed Mejri

Browse the full ICSOC paper archive.