A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification.

Gongyuan Zhang, Bixin Li

Browse the full APSCC paper archive.