A pi-calculus based semantics for WS-BPEL

Roberto Lucchi, Manuel Mazzara. A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming, 70(1):96-118, 2007. [doi]

Abstract

Abstract is missing.