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 proceedingConference 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.

    Keyphrases

    Computer Science