This site has been permanently archived. This is a static copy provided by the University of Southampton.

Mazzara, Manuel and Dragoni, Nicola A Formal Semantics for the WS-BPEL Recovery Framework: The pi-Calculus Way. WSFM 2009 .