位置：成果数据库 > 期刊 > 期刊详情页
Failure-divergence semantics and refinement of long running transactions
  • ISSN号：0304-3975
  • 期刊名称：Theoretical Computer Science
  • 时间：0
  • 页码：31-65
  • 相关项目：软件构件的精化、组合和粘合理论研究
作者： Zhenbang Chen|Zhiming Liu|Ji Wang|
同期刊论文项目
软件构件的精化、组合和粘合理论研究
期刊论文 7 会议论文 12
同项目期刊论文
A framework for automated and certified refinement steps