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

 
  • 基于细胞膜演算的Web服务事务处理形式化描述与验证
今日热词
目录 附录 查词历史