首页> 中文会议>'97开放式分布与并行计算学术会议 >改进的嵌套事务模型及其ACTA描述

改进的嵌套事务模型及其ACTA描述

摘要

ACTA是一个全面的事务框架,它能够方便地用形式化的方法描述扩展事务模型(例如嵌套事务模型)。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号