Linking the Semantics of BPEL Using Maude.

Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu

Browse the full APSEC paper archive.