位置：成果数据库 > 期刊 > 期刊详情页
Program Equivalence in Linear Contexts
  • ISSN号：0304-3975
  • 期刊名称：Theoretical Computer Science
  • 时间：0
  • 页码：-
  • 相关项目：基于非阻塞同步机制的多核并发系统模块化验证方法研究
作者： Yu Zhang|Xinyu Deng|
同期刊论文项目
基于非阻塞同步机制的多核并发系统模块化验证方法研究
期刊论文 3 会议论文 2
同项目期刊论文
A temporal programming model with atomic blocks based on projection temporal logic
A temporal programming model with atomic blocks based on projection temporal logic