X-演算

作品数：4被引量：2H指数：0
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：傅育熙徐林钟发荣张杰林敏更多>>
相关机构：上海交通大学更多>>
相关期刊：《上海交通大学学报》《微电子学与计算机》《计算机科学》更多>>
相关基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
χ-演算与π-演算的语义比较研究
《微电子学与计算机》2000年第5期30-34,共5页徐林 傅育熙 
文章通过对χ－演算与π－演算的进程中语法结构、操作语义、代数语义的比较，阐明了χ－演算具有比π－演算更简洁的语法结构、更明确的操作语义、更直观的代数语义、更良好的代数性质、更强大的表达能力。并且给出了一个由π－演算到...
关键词：语义比较 X-演算 Π-演算 
χ-演算与π-演算的语义比较研究
《计算机科学》2000年第2期10-13,共4页徐林 傅育熙 
1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。λ-演算是顺序计算的经典模型。与顺序计算不同,我们对并行与并发计算实质的认识尚处于初级阶段。自Milner提出...
关键词：X-演算 Π-演算 计算模型 语义 计算机科学 
高阶 χ-进程
《上海交通大学学报》1997年第8期40-43,共4页傅育熙 
国家自然科学基金
在新型并发计算模型——χ－演算的基础上进一步研究高价χ－演算，并从代数性质、递归能力等方面研究该计算模型．
关键词：互模拟 Π-演算 X-演算 并行计算模型 X-进程 
一新型移动进程模型—— χ-演算被引量：2
《上海交通大学学报》1997年第8期7-11,共5页傅育熙 
国家自然科学基金
提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．
关键词：互模拟 Π-演算 X-演算 移动进程 并发计算模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部