【摘 要】
：
基于消息传递的并发程序设计语言广泛应用于大规模分布式系统和协调系统的开发过程中。本文介绍带缓存的π演算，它是π演算的变体，其中通道名被进一步分为带缓存的或者不带缓存
论文部分内容阅读
基于消息传递的并发程序设计语言广泛应用于大规模分布式系统和协调系统的开发过程中。本文介绍带缓存的π演算，它是π演算的变体，其中通道名被进一步分为带缓存的或者不带缓存的：在带缓存的通道名上的通信是异步的，而在不带缓存的通道名上的通信仍然是同步的。文章给出了带缓存的π演算在polyadic π演算中的编码，并指出编码关于强互模拟具有完全抽象性质。因此在π演算中加入缓存并没有增强模型的表达能力。相比π演算，用带缓存的π演算建模基于消息传递的并发语言通常更加方便。编码过程清晰，简洁，并易于理解。文章讨论了两种不同风格的并发语言—Go语言和Core Erlang语言的子集—在带缓存的π演算中的编码。两种编码关于（弱）互模拟都是完全抽象的。
其他文献
由于味觉的打开,16世纪欧洲的文献中开始大量出现趣味概念,尤其在17世纪末到18世纪长达一个多世纪的时间里,趣味成为了思想界热烈讨论的题目,康德对趣味概念的重视,正是由于
对三倍频试验装置及原理作了介绍和分析,概述了其在电力变压器和互感器感应耐压试验中的应用;论述了三倍频装置的试验方法,同时对感应耐压试验中存在的容升问题提出了完整的
<正>"直过区",是云南少数民族"直接过渡区"的简称,是中央和云南地方政府在新中国成立之初为了解决云南复杂的民族关系,促进部分仍然处在原始社会末期或开始向阶级社会发展的
<正>1严寒地区新建住宅节能大庆地区新建住宅节能示范工程为我国严寒地区新建住宅实现建筑节能50%的目标提供一个范例,在此加以简介(编者注:黑龙江省执行65%建筑节能设计标准
<正> 由国家建材局立项的“海泡石研究与应用”项目经武汉工业大学非金属矿研究所3年的研究,现已通过湖北省建材局组织的专家鉴定。该项目包括3项内容:1.海泡石除具剂海泡石
通过对闽台服务业合作的现状分析,为更好地把握在ECFA框架下闽台服务业合作的新机遇,福建省应在相互交流、互利共赢的前提下,构建闽台服务业合作机制,促进两岸服务业优势互补
<正>随着世界经济一体化和高科技的发展,金融已成为世界经济舞台上铁马金戈、纵横捭阖的时代英雄。信用证是国际贸易中重要的信用支付工具,无论在发达国家还是在发展中国家,
【目的】探索制定传染性非典型肺炎(severe acute respiratory syndrome,SARS)的中西医结合治疗方案。【方法】在依据广东省非典型肺炎诊治指导原则进行西医治疗的基础上,根
手工钩编幼童服装作为中国服装传统的制作经典，品类繁多、形式多样，具有诸多优势和特点，是手工服装重要组成。这种手工钩编的特殊造型功能，为图案和装饰的立体艺术设计效果提供了