位置：成果数据库 > 期刊 > 期刊详情页
Characterisations of testing preorders for a finite probabilistic pi-calculus
  • ISSN号：0934-5043
  • 期刊名称：Formal Aspects of Computing
  • 时间：2012.7
  • 页码：701-726
  • 相关项目：并发模型的相对表达能力研究
作者： Deng, Yuxin|Tiu, Alwen|
同期刊论文项目
并发模型的相对表达能力研究
期刊论文 3 会议论文 3
同项目期刊论文
良结构下推系统的表达能力
树比较可视化方法综述