The Formal Specification of Transaction Processing in Web Services by Rewriting Logic

• 基于重写逻辑的Web服务事务处理形式化描述