| 2008 | ||
|---|---|---|
| 3 | EE | Faisal Abouzaid, John Mullins: A Calculus for Generation, Verification and Refinement of BPEL Specifications. Electr. Notes Theor. Comput. Sci. 200(3): 43-65 (2008) |
| 2006 | ||
| 2 | Faisal Abouzaid: Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations. Computer Supported Acitivity Coordination 2006: 23-34 | |
| 1 | Faisal Abouzaid: A Mapping from Pi-Calculus into BPEL. ISPE CE 2006: 235-242 | |
| 1 | John Mullins | [3] |