Π-演算

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
使用π-演算验证两阶段提交协议
《计算机科学》2006年第11期268-271,共4页张帆 李舟军 孙云 
国家自然科学基金项目(90104026;60473057)
两阶段提交协议是最简单且最常用的原子提交协议,该协议使分布式事务的提交具有原子性和持久性。在本文中,我们使用π-演算对两阶段提交协议进行描述,并对其正确性进行了证明,进一步体现了π-演算对于描述进程通信及并行性的独特优势。
关键词：两阶段提交协议 形式化 异步π演算 互模拟 
并发计算范型:CCS和π-演算被引量：3
《计算机科学》2002年第10期14-17,共4页杜旭涛 李舟军 
国家自然科学基金(No.60073001;No.69933030); 高等学校重点实验室访问学者基金
1 引言并发现象和并发系统在生活中随处可见:网络通信、移动电话系统、银行的信息流动、超市的物流系统都是典型的并发系统。所谓并发系统就是存在并发事件的系统。顺序计算是并发计算的特例,相比于并发计算是一个小得多的领域,其复杂...
关键词：程序设计 并发计算范型 CCS Π-演算 
χ-演算与π-演算的语义比较研究
《计算机科学》2000年第2期10-13,共4页徐林 傅育熙 
1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。λ-演算是顺序计算的经典模型。与顺序计算不同,我们对并行与并发计算实质的认识尚处于初级阶段。自Milner提出...
关键词：X-演算 Π-演算 计算模型 语义 计算机科学 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部