DMCA

AFormalSemanticsforthe WS-BPEL Recovery Framework The π-Calculus Way

by Nicola Dragoni , Manuel Mazzara