期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
并发计算的元模型Ⅰ.图模型 被引量：5
1
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期723-726,共4页
借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于... 借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .文中用证明论方法研究并行理论 。 展开更多
关键词 并发计算理论 进程代数 图演算 元模型 图模型
在线阅读 下载PDF
移动进程演算中的开互模拟 被引量：2
2
作者 傅育熙 《计算机学报》 EI CSCD 北大核心 2001年第7期673-679,共7页
该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出... 该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出了第四条 tau规则 ,处理了在前缀操作下的等名测试算子 ,并证明了强开同余关系的完全公理化系统加上四条 tau规则可得到弱开同余关系的完全公理化系统 .该文的结论否定了关于 Milner的三条 展开更多
关键词 进程代数 互模拟 公理化 移动进程演算 计算机
在线阅读 下载PDF
并发计算的元模型 Ⅳ.公理化 被引量：2
3
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期859-863,共5页
在 chi进程间互模拟格的基础上 ,利用 L-互模拟的开刻划 ,给出所有 4个 L-互模拟等价诱导的同余关系的完全公理化系统 .4个 L-互模拟等价中最小的同余关系的公理系统 ,由强互模拟等价的公理系统与 3条 tau规则构成 .在此基础上 ,分别加... 在 chi进程间互模拟格的基础上 ,利用 L-互模拟的开刻划 ,给出所有 4个 L-互模拟等价诱导的同余关系的完全公理化系统 .4个 L-互模拟等价中最小的同余关系的公理系统 ,由强互模拟等价的公理系统与 3条 tau规则构成 .在此基础上 ,分别加入一条输出规则和 /或其对偶形式 ,即得其他 展开更多
关键词 并发计算 进程代数 互模拟 元模型 公理化
在线阅读 下载PDF
并发计算的元模型 Ⅱ.对称通信 被引量：2
4
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期727-731,共5页
在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其... 在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其代数语义 .对称 pi演算的意义在于它既简化了 pi演算 。 展开更多
关键词 并发计算理论 进程代数 元模型 对称通信 Π演算
在线阅读 下载PDF
并发计算的元模型 Ⅲ.互模拟格 被引量：2
5
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期732-736,共5页
在有关 chi演算的基础上 ,用统一的方法在 chi进程上引入一大类互模拟等价关系 ,即 L-互模拟等价关系 .证明了只有 4个不同的 L-互模拟等价 ;在包含关系下 ,它们构成钻石格 .许多常见的互模拟等价都可定义为
关键词 并发计算理论 进程代数 互模拟格 元模型
在线阅读 下载PDF
一个移动进程演算的互模拟同余定义框架
6
作者 陈韬略 李斌 +1 位作者 胡昊 吕建 《计算机科学》 CSCD 北大核心 2004年第1期11-15,27,共6页
并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本... 并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上,通过抽取定义的核心要素,提出了一个三维的互模拟同余定义模型,从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来,加深了我们对移动进程演算中互模拟概念的理解;同时本文利用这个模型,系统分析了各种互模拟之间的关系。模型的优点在于它的普适性和开放性。 展开更多
关键词 移动进程演算 互模拟同余定义 计算机科学 并发理论 传名机制
在线阅读 下载PDF
非对称^(χ≠)-演算的基同余
7
作者 钟发荣 傅育熙 《计算机学报》 EI CSCD 北大核心 2005年第10期1626-1637,共12页
该文研究非对称χ≠-演算的基同余.文中引入一组L-互模拟关系,并确定基互模拟就是由L-互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L-互模拟的开模拟性质,利用开模拟性质引入开基互模拟概念,并证明开基互模拟与基互模... 该文研究非对称χ≠-演算的基同余.文中引入一组L-互模拟关系,并确定基互模拟就是由L-互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L-互模拟的开模拟性质,利用开模拟性质引入开基互模拟概念,并证明开基互模拟与基互模拟是一致的,构造了基于基同余的可靠和完备的等式系统,最后给出了基同余的完备性定理. 展开更多
关键词 非对称χ^≠-演算 进程代数 L-互模拟关系 等式系统 迁移系统
在线阅读 下载PDF
具有真正并发语义的面向约束的实时进程代数
8
作者 曾国荪 周定康 《江西师范大学学报（自然科学版）》 CAS 1999年第2期143-147,共5页
对于标准进程代数，通过加入因果和时间约束，对前缀操作项进行扩展，使得处理后的演算，保持定义简单，表达力增强，能够描述实时系统。
关键词 进程代数 实时系统 并发语义 实时进程代数
在线阅读 下载PDF
χ-演算与π-演算的语义比较研究
9
作者 徐林 傅育熙 《计算机科学》 CSCD 北大核心 2000年第2期10-13,共4页
1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。λ-演算是顺序计算的经典模型。与顺序计算不同,我们对并行与并发计算实质的认识尚处于初级阶段。自Milner提出... 1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。λ-演算是顺序计算的经典模型。与顺序计算不同,我们对并行与并发计算实质的认识尚处于初级阶段。自Milner提出CCS以来,计算机科学家提出了许多计算模型。u.Engberg和M.Nielsen研究过一并发计算模型,提出了CHOCS类语言。但这些模型都存在不同程度的问题。为了找出一个可与λ-演算相比的并发计算模型。 展开更多
关键词 X-演算 Π-演算 计算模型 语义 计算机科学
在线阅读 下载PDF
并发计算的元模型 Ⅴ.并发模型间的关系
10
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期864-867,共4页
讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .
关键词 并发计算 进程代数 互模拟 并发模型 PI演算
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部