云南高校图书馆联盟文献共享服务平台- 互模拟等价

互模拟等价: 作品数：11被引量：14H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：邓辉张双双赵锡英吴尽昭刘美玲更多>>; 相关机构：吉林大学广西民族大学上海交通大学北京交通大学更多>>; 相关期刊：《控制理论与应用》《软件学报》《兰州理工大学学报》《北京交通大学学报》更多>>; 相关基金：国家自然科学基金国家教育部博士点基金国家重点基础研究发展计划国家高技术研究发展计划更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

元Chi进程互模拟等价的一致性被引量：1: 《软件学报》2001年第12期1793-1800,共8页林敏傅育熙; 国家自然科学基金资助项目 (6 98730 32 ) ;国家 86 3高科技发展计划资助项目 (86 3- 30 6 - ZT0 6 - 0 2 - 2 )~~; Chi-演算是将 π-演算中两类受限名统一后得到的 .多态 Chi-演算扩充了 Chi-演算的通信能力 ,使得一次通信可传递多个信息 .元 Chi-演算是在省略多态 Chi-演算的前缀操作子之后得到的子语言 .研究了元 Chi-演算的互模拟等价关系 ,证明...; 关键词：进程代数移动进程互模拟元Chi演算并发计算计算机