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

一新型移动进程模型—— χ-演算被引量：2: 1; 作者傅育熙《上海交通大学学报》 EI CAS CSCD 北大核心 1997年第8期7-11,共5页; 提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．; 关键词互模拟 Π-演算 X-演算移动进程并发计算模型; 在线阅读下载PDF 职称材料

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

一个移动进程演算的互模拟同余定义框架: 3; 作者陈韬略李斌 +1 位作者胡昊吕建《计算机科学》 CSCD 北大核心 2004年第1期11-15,27,共6页; 并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本... 展开更多; 关键词移动进程演算互模拟同余定义计算机科学并发理论传名机制; 在线阅读下载PDF 职称材料

元Chi进程互模拟等价的一致性被引量：1: 4; 作者林敏傅育熙《软件学报》 EI CSCD 北大核心 2001年第12期1793-1800,共8页; Chi-演算是将 π-演算中两类受限名统一后得到的 .多态 Chi-演算扩充了 Chi-演算的通信能力 ,使得一次通信可传递多个信息 .元 Chi-演算是在省略多态 Chi-演算的前缀操作子之后得到的子语言 .研究了元 Chi-演算的互模拟等价关系 ,证明... 展开更多; 关键词进程代数移动进程互模拟元Chi演算并发计算计算机; 在线阅读下载PDF 职称材料

基于时间Ambient演算的业务流程模型验证: 5; 作者李津李勇高春鸣《计算机工程与设计》 CSCD 北大核心 2008年第3期554-559,共6页; Mobile Ambient演算是一种描述进程和设备移动的形式化方法,但其移动进程的实时性目前尚未有合适的形式化表达。通过对Mobile Ambient演算进行实时扩充,提出了一种离散时间域的时间Mobile Ambient演算(DTMA),并为DTMA演算定义了模态逻... 展开更多; 关键词离散时间Ambient演算移动进程模态逻辑模型验证业务流程执行语言; 在线阅读下载PDF 职称材料

题名一新型移动进程模型—— χ-演算被引量：2: 1; 作者傅育熙; 机构上海交通大学计算机科学与工程系; 出处《上海交通大学学报》 EI CAS CSCD 北大核心 1997年第8期7-11,共5页; 基金国家自然科学基金; 文摘提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．; 关键词互模拟 Π-演算 X-演算移动进程并发计算模型; Keywords bisimulation π calculus χ calculus mobile process; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名移动进程演算中的开互模拟被引量：2: 2; 作者傅育熙; 机构上海交通大学计算机科学与工程系; 出处《计算机学报》 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 职称材料

题名一个移动进程演算的互模拟同余定义框架: 3; 作者陈韬略李斌胡昊吕建; 机构南京大学计算机软件新技术国家重点实验室; 出处《计算机科学》 CSCD 北大核心 2004年第1期11-15,27,共6页; 基金国家重点基础研究发展规划973项目(No.2002CB312002) 国家自然科学基金(No.60273034) +2 种基金 N o.2002AA116010) 江苏省教育厅自然科学基金(No.01KJB520010); 文摘并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上,通过抽取定义的核心要素,提出了一个三维的互模拟同余定义模型,从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来,加深了我们对移动进程演算中互模拟概念的理解;同时本文利用这个模型,系统分析了各种互模拟之间的关系。模型的优点在于它的普适性和开放性。; 关键词移动进程演算互模拟同余定义计算机科学并发理论传名机制; Keywords Concurrent theory,Mobile process calculus,Bisimulation,General framework; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名元Chi进程互模拟等价的一致性被引量：1: 4; 作者林敏傅育熙; 机构上海交通大学计算机科学与工程系; 出处《软件学报》 EI CSCD 北大核心 2001年第12期1793-1800,共8页; 基金国家自然科学基金资助项目 (6 98730 32 ) 国家 86 3高科技发展计划资助项目 (86 3- 30 6 - ZT0 6 - 0 2 - 2 )~~; 文摘 Chi-演算是将 π-演算中两类受限名统一后得到的 .多态 Chi-演算扩充了 Chi-演算的通信能力 ,使得一次通信可传递多个信息 .元 Chi-演算是在省略多态 Chi-演算的前缀操作子之后得到的子语言 .研究了元 Chi-演算的互模拟等价关系 ,证明了在某种意义下 ,元 Chi-进程之间只有一个互模拟等价关系 .; 关键词进程代数移动进程互模拟元Chi演算并发计算计算机; Keywords Algebra Calculations Equivalence classes Simulation; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于时间Ambient演算的业务流程模型验证: 5; 作者李津李勇高春鸣; 机构湖南师范大学数学与计算机科学学院; 出处《计算机工程与设计》 CSCD 北大核心 2008年第3期554-559,共6页; 基金湖南省重点科技攻关基金项目(05GK2002) 湖南省自然科学基金项目(03JJY6023) 长沙市科技攻关重大基金项目(K06070001-12); 文摘 Mobile Ambient演算是一种描述进程和设备移动的形式化方法,但其移动进程的实时性目前尚未有合适的形式化表达。通过对Mobile Ambient演算进行实时扩充,提出了一种离散时间域的时间Mobile Ambient演算(DTMA),并为DTMA演算定义了模态逻辑。基于DTMA演算及其模态逻辑的子集给出了模型验证算法,提出了一种对BPEL4WS程序的形式化建模方法,实现了业务流程的活动可达性的模型验证。; 关键词离散时间Ambient演算移动进程模态逻辑模型验证业务流程执行语言; Keywords discrete timed mobile Ambient mobile agent modal logic model checking BPEL4WS; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一新型移动进程模型—— χ-演算	傅育熙	《上海交通大学学报》 EI CAS CSCD 北大核心	1997	2	在线阅读下载PDF 职称材料
2	移动进程演算中的开互模拟	傅育熙	《计算机学报》 EI CSCD 北大核心	2001	2	在线阅读下载PDF 职称材料
3	一个移动进程演算的互模拟同余定义框架	陈韬略李斌胡昊吕建	《计算机科学》 CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料
4	元Chi进程互模拟等价的一致性	林敏傅育熙	《软件学报》 EI CSCD 北大核心	2001	1	在线阅读下载PDF 职称材料
5	基于时间Ambient演算的业务流程模型验证	李津李勇高春鸣	《计算机工程与设计》 CSCD 北大核心	2008	0	在线阅读下载PDF 职称材料