Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes.

Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu

Browse the full ICWS paper archive.