Linking Theories of Concurrency

来源 :中国科学院技术科学论坛第十、十一次学术报告会 | 被引量 : 0次 | 上传用户:hekaishou
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In the study of CCS and related process calculi, there are two standard approaches to the definition of similarity or equivalence of processes. The first is bisimulation, an equivalence relation based on the structural operational semantics of the calculus. It has simulation as an asymmetric variant. The second is refinement, an ordering defined as inclusion of the sets of observations that may be made of the behaviour of each process. The original forms of bisimulation (strong and weak) were intended to give the strongest reasonable definition of process expressions.This paper shows how to define a process calculus in which the concepts of simulation and refinement coincide with each other : thus the combined benefits of two approaches are available uniformly to all applications.
其他文献
以刚性需求客户为目标的楼盘.价格一旦调整到位.即可取得较为出色的销售成绩;但投资型.泡沫大的项目.即使价格进行了调整.也很难取得较好的成绩.并且一旦开盘遇冷,日后的销售
中国国家质量技术监督局,中华人民共和国卫生部于2000年12月发布关于"鲜、冻禽产品"GB16869-2000国家标准,是GB2710~1996《鲜(冻)禽肉卫生标准》和GB/T16869-1997《分割鲜(冻)鸡
会议
任何一门科学都离不开理论与实践。理论源于实践的积累,又直接指导和服务于实践。经络理论以其独特而系统的体系,成为针灸发展史上重要的理论支柱。本文介绍了从经络的循行看
会议
当今,人们对健康的重视程度不断的提高,对健康食品的需求也不断地增加,而鸵鸟肉是具有高蛋白、低脂肪、低胆固醇、低热量,并含有丰富的钙、铁、锌、硒等人体必需的微量元素之特点
会议
计算科学是近年来随着计算机技术,通讯技术与应用科学迅速崛起的一门新型交叉学科,成为与理论与实验相互补充的第三种科学手段。本文简要介绍计算科学目前研究的热点,并根据作者
广东省从1997年开始鸵鸟皮试制,经过几年的发展,至今已有鸵鸟皮革加工厂及皮具加工厂多家,自2001年开始有皮革、皮具出口。鸵鸟皮革从试制成功以之后不断总结经验,研究存在问题,探
会议
采用壮医药线点灸配合独活寄生汤治疗慢性腰腿痛56例,并与单纯口服独活寄生汤治疗30例作对照。结果:治疗组治愈41例,显效10例,有效4例,无效1例,总有效率为98.2%;对照组治愈13例,
会议
血瘀与瘀血是中医病因病机学的基本概念。两者都属于血的病理变化,但含义不尽相同,却又有着密切的关系。讨论“血瘀”与“瘀血”,必然要涉及“瘀”但历来对“瘀”、“血瘀”
会议
本文对Notes应用的安全机制进行了分析。Notes/Domino从一出现就被设计成一个非常安全的应用程序开发平台。在设计将包含机密和私有信息的应用程序时,全面考虑安全性能要求是
会议
本文提出了一种用基于usb盘的linux系统进行机载设备外场维护的方法,给出了它在某机载设备系统检测和数据及软件更新上的一种应用,并讨论了在usb盘上实现嵌入式Linux的关键技术
会议