Abouzaid, F., & Mullins, J. (2009, July). Formal Specification of Correlation patterns for WS-BPEL [Paper]. 9e Colloque international sur les nouvelles technologies de la répartition (NOTERE 2009), Montréal, Québec. Unavailable