移动进程演算

作品数：2被引量：2H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈韬略韩婷婷吕建傅育熙李斌更多>>
相关机构：南京大学上海交通大学中国科学院大学中国科学院软件研究所更多>>
相关期刊：《计算机科学》《计算机学报》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划教育部“优秀青年教师资助计划”更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个移动进程演算的互模拟同余定义框架
《计算机科学》2004年第1期11-15,27,共6页陈韬略 李斌 胡昊 吕建 
国家重点基础研究发展规划973项目(No.2002CB312002);国家自然科学基金(No.60273034); 国家863高科技项目(No.2001AA113110;N o.2002AA116010);江苏省教育厅自然科学基金(No.01KJB520010)
并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本...
关键词：移动进程演算 互模拟同余定义 计算机科学 并发理论 传名机制 
移动进程演算中的开互模拟被引量：2
《计算机学报》2001年第7期673-679,共7页傅育熙 
国家自然科学基金 (69873 0 3 2 );教育部优秀青年教师资助项目;高等学校骨干教师资助计划;上海高校软件理论研究中心
该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出...
关键词：进程代数 互模拟 公理化 移动进程演算 计算机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部