Seal演算与Boxed Ambient演算的关系分析

来源 :吉林大学学报：信息科学版 | 被引量 : 0次 | 上传用户：ZFsky260583

【摘要】

：

研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义.本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、

【作者】

：

郑晓娟金英金成

【机构】

：

东北师范大学,吉林大学

【出处】

：

吉林大学学报：信息科学版

【发表日期】

：

2005年4期

【关键词】

：

SEAL演算 Ambient演算通道移动代码 <Keyword>Seal calculus Ambient calculus channel

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义.本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价.最后给出了Seal演算通信进程到Boxed Ambient演算通信进程的一种结构化转换方法.

其他文献

代表视察不宜“大呼隆”

最近，参加某地组织的一次省、市、县三级人大代表视察，代表30多人，陪同视察的及工作人员10余人，乘坐8台大小车辆，沿着预先安排好的视察路线，看典型，听汇报，视察者兴致勃勃，被视察单位

期刊

视察人大代表工作人员组织余人车辆汇报服务

用适应度-距离选择机制遗传算法识别油气层

为提高遗传算法种群的多样性,在选择父辈串的时候通过综合考虑适应度值与彼此之间的海明距离确定选择机制,提出了基于适应度-距离(FD:Fitness-Distance)选择机制的遗传算法(G

期刊

油气层人工神经网络遗传算法适应度-距离选择机制oil-gas layer artificial neural network genetic alg

《监督法》为什么没有规定述职评议

随着《监督法》的正式颁布实施，如何深入学习贯彻执行《监督法》，已经成为当前地方人大工作的重要任务，而对《监督法》的研讨也在广大人大理论研究者中成为热点。其中，关于述职评

期刊

《监督法》述职评议地方人大工作“一府两院”监督职能监督对象组成人员研究者

高校隐性自主创新资源的运用

充分挖掘并利用隐性自主创新资源，是高校提升自主创新能力的重要途径之一。高校应从企业隐性资源、校际隐性资源、国际隐性资源以及校本隐性资源等方面进行挖掘和利用。

期刊

高校隐性自主创新资源

各方未能充分“吵架”民诉法修改受质疑

颁行16年片言未改,民事诉讼法在中国立法史上创造了纪录。其首次修改,也没有想像的那样惊天动地。一切似乎都在悄悄进行。“小改就不是改么?”这些天,国内一些民诉法学者陆续

期刊

修改民诉法吵架民事诉讼法法史

左右江革命根据地的文化教育简论

左右江革命根据地建立后,通过邓小平、张云逸的卓有成效的工作,从理论和实践上开创了左右江革命根据地文化教育的新途径,谱写了壮、汉、瑶等各族人民团结战斗求解放的光辉篇

期刊

左右江革命根据地文化教育

COM的自动化技术的研究与应用

为解决组件的跨语言调用问题,探讨了组件对象模型(COM:Component Object Model)的自动化技术的原理及其实现,并采用自动化技术实现组件的跨语言调用.提出使用DISPID(Dispatch

期刊

组件对象模型自动化IDiapatch多接口component object modelautomationIDispatch multi-interf

地方高校学科建设中团队心理契约的构建

组建一支高水平、结构合理、协作默契的学科团队，是地方高校学科建设的关键。整合学科建设目标，增强团队凝聚力，创建以学科内涵为核心的团体氛围，有效加固心理承诺，形成学科建设合

期刊

地方高校学科团队心理契约

Chebyshev二相混沌扩频序列平衡性

针对直扩码分多址系统中扩频序列不平衡的问题,利用Chebyshev混沌映射产生二相混沌扩频序列,给出了平衡性定义,讨论了与平衡性有关的参数,深入分析了平衡性与分形参数、初始

期刊

混沌扩频序列平衡性chaosfrequency-spreading sequenceperform of balance

新型农村合作医疗走在前

“每人每年最多可以报销1．5万元”：“将村医纳入新型农村合作医疗体系”；“改善各乡镇卫生院的硬件设施，提高服务水平和服务质量”；“药品实行统一采购，统一配送，对农民实行‘零加价

期刊

农村合作医疗体系服务质量乡镇卫生院硬件设施统一采购统一配送报销药品农民

Seal演算与Boxed Ambient演算的关系分析

与本文相关的学术论文