A Formal Account of WS-BPEL.

Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi

Browse the full Coordination paper archive.