A Chu spaces semantics of control flow in BPEL.

Xutao Du, Chunxiao Xing, Lizhu Zhou

Browse the full APSCC paper archive.