【摘 要】
：
在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是
【基金项目】
：
国家自然科学基金!(69873032);国家863高科技!(863-306-ZT06-02-2)资助项目
论文部分内容阅读
在并发计算图模型的基础上 ,提出并研究了一新的进程演算 .该演算的创新处在于它只有一类前缀操作 ,故通信是对称的 .通过建立从 pi演算到对称 pi演算的翻译 ,证明 pi演算是对称 pi演算的子语言 .该翻译既保持前者的操作语义 ,又保持其代数语义 .对称 pi演算的意义在于它既简化了 pi演算 ,又不影响其表达能力
其他文献
<正>幼儿美术创新能力是孩子把握世界的一种方式,这种把握与他们的发展水平直接联系在一起,与他们的整体智慧发展相一致。对于幼儿来讲美术创新既是学习,也是一种思维创造的
<正>近期,西方社会陷入了多事之秋:"脱欧"后的英国进一步迈向孤立主义,美国开始挑起贸易战、发动了对叙利亚的军事打击,法国极右翼势力"国民阵线"、荷兰自由党在各自大选中攻
社区自我服务运营机制建设是我国社区建设的重要组成部分,对于和谐社区的建设起着重要作用。本文基于社会管理创新的时代背景,在分析社区自我服务的基本概况,以及特点和作用
<正>一是西方民主的结构性衰败,表现为西方民主体制内部的结构失衡和紊乱无序。在国家与社会关系上,国家丧失自主性,政策制定过程受到财阀和利益集团的过度影响,金钱政治盛行
在系统分析发达国家报废汽车回收利用的立法情况的基础上,介绍了发达国家报废汽车回收体系,分析了我国的报废汽车回收体系,尤其是上海市报废汽车回收管理体系.指出我国报废汽
我国每年有大量的灌排水泵站建成,但由于安装队伍水平参差不齐,立式机组安装中的高程方面出现的问题时有发生。本文详细探讨在立式水泵机组安装方面,高程控制应该注意的问题,
介绍了各种食品快检技术,包括:化学比色法、酶联免疫法、免疫胶体金试纸、荧光定量PCR技术、生物芯片、生物化学发光检测仪和便携式检测仪器等在食品现场快速检测中的研究进
为了兼顾翼型在各个飞行状态下的气动效率,基于Isight优化设计平台对自适应翼型前缘进行了气动优化设计研究.首先对Hicks-Henne型函数进行了改进,实现了翼型前缘的参数化描述
<正>我国教育专家曾明确指出,情感渗透的根本意义在于,让情感教育渗透在教学活动当中,实现教学水平的提升,这需要教师基于学生的认知因素来进行具体调节,让情感因素结合教学