Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude
Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Fingerprint
Dive into the research topics of 'Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude'. Together they form a unique fingerprint.