The Formal Specification and Verification of Transaction Processing in Web Services by Membrane Calculus

• 基于细胞膜演算的Web服务事务处理形式化描述与验证