期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

传值CCS和π—演算互模拟等价的验证理论和算法

下载PDF
导出
作者 李舟军
出处 《计算机工程与科学》 CSCD 2003年第3期109-109,共1页 Computer Engineering & Science
关键词 验证算法 验证理论 CCS Π-演算 模拟等价
分类号 TP301.6 [自动化与计算机技术—计算机系统结构]
计算机工程与科学
2003年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部