Π-演算

作品数：39被引量：43H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李舟军傅育熙曹木亮林惠民吴智铭更多>>
相关机构：上海交通大学国防科学技术大学中国科学院软件研究所湖南师范大学更多>>
相关期刊：《上海交通大学学报》《韶关学院学报》《浙江师范大学学报（自然科学版）》《计算机工程与应用》更多>>
相关基金：国家自然科学基金湖南省自然科学基金国家高技术研究发展计划湖南省重点科技攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
π-演算互模拟判定算法的优化和实现被引量：5
《软件学报》2001年第2期159-166,共8页许文 方海 林惠民 
国家自然科学基金!资助项目 (6 98330 2 0 )&&
π-演算采用互模拟作为进程等价的准则 .对有限状态的 π-演算进程互模拟等价是可判定的 ,由此提出了互模拟检测算法的一种优化技术 .该技术基于只将输入名字实例化为在以后的等名测试中用到的自由名字 .通过实例说明这一优化技术可大...
关键词：进程代数 Π-演算 互模拟 验证算法 计算机 
π-演算中无卫递归的消除
《软件学报》1997年第5期321-326,共6页林惠民 
国家自然科学基金;中国科学院"九五"基础性研究重点项目
本文提出消除π－演算中无卫递归的公理，证明了将该公理加入到正则π－演算受卫递归子集上的证明系统后。
关键词：进程代数 Π-演算 互模拟 证明系统 无卫递归 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部