检索结果-维普期刊中文期刊服务平台

并发计算的元模型Ⅰ.图模型被引量：5: 1; 作者傅育熙《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期723-726,共4页; 借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于... 展开更多; 关键词并发计算理论进程代数图演算元模型图模型; 在线阅读下载PDF 职称材料

并发计算的元模型 Ⅳ.公理化被引量：2: 2; 作者傅育熙《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期859-863,共5页; 在 chi进程间互模拟格的基础上 ,利用 L-互模拟的开刻划 ,给出所有 4个 L-互模拟等价诱导的同余关系的完全公理化系统 .4个 L-互模拟等价中最小的同余关系的公理系统 ,由强互模拟等价的公理系统与 3条 tau规则构成 .在此基础上 ,分别加... 展开更多; 关键词并发计算进程代数互模拟元模型公理化; 在线阅读下载PDF 职称材料

并发计算的元模型 Ⅱ.对称通信被引量：2: 3; 作者傅育熙《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期727-731,共5页; 在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其... 展开更多; 关键词并发计算理论进程代数元模型对称通信 Π演算; 在线阅读下载PDF 职称材料

移动进程演算中的开互模拟被引量：2: 4; 作者傅育熙《计算机学报》 EI CSCD 北大核心 2001年第7期673-679,共7页; 该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出... 展开更多; 关键词进程代数互模拟公理化移动进程演算计算机; 在线阅读下载PDF 职称材料

并发计算的元模型 Ⅲ.互模拟格被引量：2: 5; 作者傅育熙《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期732-736,共5页; 在有关 chi演算的基础上 ,用统一的方法在 chi进程上引入一大类互模拟等价关系 ,即 L-互模拟等价关系 .证明了只有 4个不同的 L-互模拟等价 ;在包含关系下 ,它们构成钻石格 .许多常见的互模拟等价都可定义为; 关键词并发计算理论进程代数互模拟格元模型; 在线阅读下载PDF 职称材料

χ-演算与π-演算的语义比较研究: 6; 作者徐林傅育熙《计算机科学》 CSCD 北大核心 2000年第2期10-13,共4页; 1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。λ-演算是顺序计算的经典模型。与顺序计算不同,我们对并行与并发计算实质的认识尚处于初级阶段。自Milner提出... 展开更多; 关键词 X-演算 Π-演算计算模型语义计算机科学; 在线阅读下载PDF 职称材料

并发计算的元模型 Ⅴ.并发模型间的关系: 7; 作者傅育熙《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期864-867,共4页; 讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .; 关键词并发计算进程代数互模拟并发模型 PI演算; 在线阅读下载PDF 职称材料

题名并发计算的元模型Ⅰ.图模型被引量：5: 1; 作者傅育熙; 机构上海交通大学计算机科学与工程系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期723-726,共4页; 基金国家自然科学基金!(69873032) 国家 863高科技!(863-306-ZT06-02-2)资助项目; 文摘借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .文中用证明论方法研究并行理论。; 关键词并发计算理论进程代数图演算元模型图模型; Keywords concurrency theory process algebra bisimulation; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名并发计算的元模型 Ⅳ.公理化被引量：2: 2; 作者傅育熙; 机构上海交通大学计算机科学与工程系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期859-863,共5页; 基金国家自然科学基金项目 !( 6 98730 32 ) 国家"86 3"高技术项目! ( 86 3- 30 6 - ZT0 6 - 0 2 - 2 )资助; 文摘在 chi进程间互模拟格的基础上 ,利用 L-互模拟的开刻划 ,给出所有 4个 L-互模拟等价诱导的同余关系的完全公理化系统 .4个 L-互模拟等价中最小的同余关系的公理系统 ,由强互模拟等价的公理系统与 3条 tau规则构成 .在此基础上 ,分别加入一条输出规则和 /或其对偶形式 ,即得其他; 关键词并发计算进程代数互模拟元模型公理化; Keywords concurrency theory process algebra bisimulation; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名并发计算的元模型 Ⅱ.对称通信被引量：2: 3; 作者傅育熙; 机构上海交通大学计算机科学与工程系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期727-731,共5页; 基金国家自然科学基金!(69873032) 国家863高科技!(863-306-ZT06-02-2)资助项目; 文摘在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其代数语义 .对称 pi演算的意义在于它既简化了 pi演算。; 关键词并发计算理论进程代数元模型对称通信 Π演算; Keywords concurrency theory process algebra bisimulation; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名移动进程演算中的开互模拟被引量：2: 4; 作者傅育熙; 机构上海交通大学计算机科学与工程系; 出处《计算机学报》 EI CSCD 北大核心 2001年第7期673-679,共7页; 基金国家自然科学基金 (69873 0 3 2 ) 教育部优秀青年教师资助项目 +1 种基金高等学校骨干教师资助计划上海高校软件理论研究中心; 文摘该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出了第四条 tau规则 ,处理了在前缀操作下的等名测试算子 ,并证明了强开同余关系的完全公理化系统加上四条 tau规则可得到弱开同余关系的完全公理化系统 .该文的结论否定了关于 Milner的三条; 关键词进程代数互模拟公理化移动进程演算计算机; Keywords concurrency theory, process algebra, bisimulation, axiomatization; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名并发计算的元模型 Ⅲ.互模拟格被引量：2: 5; 作者傅育熙; 机构上海交通大学计算机科学与工程系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第6期732-736,共5页; 基金国家自然科学基金!(69873032) 国家863高科技!(863-306-ZT06-02-2)资助项目; 文摘在有关 chi演算的基础上 ,用统一的方法在 chi进程上引入一大类互模拟等价关系 ,即 L-互模拟等价关系 .证明了只有 4个不同的 L-互模拟等价 ;在包含关系下 ,它们构成钻石格 .许多常见的互模拟等价都可定义为; 关键词并发计算理论进程代数互模拟格元模型; Keywords concurrency theory process algebra bisimulation; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名χ-演算与π-演算的语义比较研究: 6; 作者徐林傅育熙; 机构上海交通大学计算机科学与工程系; 出处《计算机科学》 CSCD 北大核心 2000年第2期10-13,共4页; 文摘 1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。λ-演算是顺序计算的经典模型。与顺序计算不同,我们对并行与并发计算实质的认识尚处于初级阶段。自Milner提出CCS以来,计算机科学家提出了许多计算模型。u.Engberg和M.Nielsen研究过一并发计算模型,提出了CHOCS类语言。但这些模型都存在不同程度的问题。为了找出一个可与λ-演算相比的并发计算模型。; 关键词 X-演算 Π-演算计算模型语义计算机科学; Keywords concurrency theory,process algebra,blsimulation; 分类号 TP3 [自动化与计算机技术—计算机科学与技术]; 在线阅读下载PDF 职称材料

题名并发计算的元模型 Ⅴ.并发模型间的关系: 7; 作者傅育熙; 机构上海交通大学计算机科学与工程系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 2000年第7期864-867,共4页; 基金国家自然科学基金项目 !( 6 98730 32 ) 国家"86 3"高技术项目 !( 86 3- 30 6 - ZT0 6 - 0 2 - 2 )资助; 文摘讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .; 关键词并发计算进程代数互模拟并发模型 PI演算; Keywords concurrency theory process algebra bisimulation; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	并发计算的元模型Ⅰ.图模型	傅育熙	《上海交通大学学报》 EI CAS CSCD 北大核心	2000	5	在线阅读下载PDF 职称材料
2	并发计算的元模型 Ⅳ.公理化	傅育熙	《上海交通大学学报》 EI CAS CSCD 北大核心	2000	2	在线阅读下载PDF 职称材料
3	并发计算的元模型 Ⅱ.对称通信	傅育熙	《上海交通大学学报》 EI CAS CSCD 北大核心	2000	2	在线阅读下载PDF 职称材料
4	移动进程演算中的开互模拟	傅育熙	《计算机学报》 EI CSCD 北大核心	2001	2	在线阅读下载PDF 职称材料
5	并发计算的元模型 Ⅲ.互模拟格	傅育熙	《上海交通大学学报》 EI CAS CSCD 北大核心	2000	2	在线阅读下载PDF 职称材料
6	χ-演算与π-演算的语义比较研究	徐林傅育熙	《计算机科学》 CSCD 北大核心	2000	0	在线阅读下载PDF 职称材料
7	并发计算的元模型 Ⅴ.并发模型间的关系	傅育熙	《上海交通大学学报》 EI CAS CSCD 北大核心	2000	0	在线阅读下载PDF 职称材料