【摘 要】
：
Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演算(一种基于约束的高阶并发计算模)也包含在a
论文部分内容阅读
Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(K(),然后给出了从(演算到AC(K()转换的形式描述,最后在定义AC(K()的可观察性、弱互模拟关系和弱等价关系的基础上,以(演算为中间表示,证明了这种转换保持了(演算的弱行为等价性.研究表明,action演算簇可以表示基于约束的并发模型,从而充分说明
其他文献
弥漫性轴索损伤（DAI）是脑损伤的常见病理类型之一，是一种头部在加速运动时．脑深部组织因受剪应切力作用所引起的颅脑损伤。由于病情复杂，伤情重，诊断和治疗困难，病死率达62．5％，预后极差
介绍构皮滩水电站技术供水系统的水量平衡计算和“一对一”运行方案的设计，构皮滩水电站技术供水系统采用水源机组发电减压供水的设计方案，“一对一”运行方案可靠、控制流程简
通过严把设计质量关,提高设备安全性能;委托专业监造和现场监理,加强设备制造、安装和运行监督管理;严格执行缆机操作规程和各项规章制度;时刻把设备安全运行工作放在首位等
目的探讨复张性肺水肿（RPE）的发病机制、预防措施及治疗。方法回顾分析14例肺萎陷患者的临床资料，并对其治疗过程中所发生的RPE进行临床观察和分析。结果治愈13例，死亡1例，死亡原
使用软件技术优化系统能量正得到更多的关注.利用系统的动态电压缩放和功能部件关闭的功能为减少冗余能量消耗提供了优化的新途径,而编译指导的动态电压缩放(dynamic voltage