Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude.

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

Browse the full ICECCS paper archive.