Π-演算

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=微电子学与计算机x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于多Agent的分布对象全局一致性模型
《微电子学与计算机》2009年第9期121-124,128,共5页王小刚 
上海教委优青专项基金项目(29-006-2);上海电机学院校级科研基金项目
提出了一种基于多Agent的分布对象全局一致性模型,该模型模拟了一种复制的分布对象在更新(写操作)时的一致性问题解决方法,使用演算精确地描述了模型中各主机Agent之间的并发交互过程,体现了基于感知复制的分布对象交互.此模型在系统不...
关键词：多AGENT系统 分布对象 全局一致性 Π-演算 
χ-演算与π-演算的语义比较研究
《微电子学与计算机》2000年第5期30-34,共5页徐林 傅育熙 
文章通过对χ－演算与π－演算的进程中语法结构、操作语义、代数语义的比较，阐明了χ－演算具有比π－演算更简洁的语法结构、更明确的操作语义、更直观的代数语义、更良好的代数性质、更强大的表达能力。并且给出了一个由π－演算到...
关键词：语义比较 X-演算 Π-演算 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部