并行对象的Action演算

来源 :2001年全国理论计算机科学学术会议 | 被引量 : 0次 | 上传用户：llxww104

【摘要】

：

Action演算簇(Action Calculi)作为描述各种并发和交互行为模型的框架,不仅可以把不同的并发和相互作用的描述模型统一在一个共同的环境下,而且还可以根据需要增加相应的控制

【作者】

：

金英金成植

【机构】

：

吉林大学前卫校区计算机科学系(长春)

【出处】

：

2001年全国理论计算机科学学术会议

【发表日期】

：

2001年期

【关键词】

：

并行对象语义描述演算面向对象语言行为模型描述模型应用系统框架控制交互环境规则

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

Action演算簇(Action Calculi)作为描述各种并发和交互行为模型的框架,不仅可以把不同的并发和相互作用的描述模型统一在一个共同的环境下,而且还可以根据需要增加相应的控制和规则,从而方便地描述对应语言或系统的语义.本文定义了一个具体的Action演算EP,并且应用该演算给出了一个并和垢面向对象语言的语义描述.

其他文献

钢筋工程连接施工技术要点分析

随着社会经济的发展，人们越来越注重生活环境的质量，这也使建筑工程行业面临着前所未有的考验，建筑工程行业在运用全新的施工工艺的同时，也要为工程的质量提供安全的保障机制，而在

期刊

钢筋工程施工技术要点

基于Lotus Domino平台的Web信息处理技术研究

本文介绍了WWW交互式应用技术的发展,对基于Lotus Domino平台的Web信息处理技术进行了较深入的研究.对不同应用对象,探讨有关构造Domino Web应用的基本方案.

会议

平台应用技术信息处理技术基本方案交互式构造对象

从航材储备方式上提高飞机可用度

航材是保证航班正常飞行的关键因素。随着飞机数量的逐年增多,即使机队类型不变,由于受到不同因素的影响,导致出现的故障并不相同,维修所需的航材种类和数量也在不断变化。本

期刊

航材维修可用度

国内外生态城市空间结构进展分析

城市空间结构是城市规划领域中的一个古老课题，本文通过梳理国内外相关研究文献以及案例分析，总结国内外生态城市空间结构研究进展，将国外研究分为形体化模式发展阶段、功能化模

期刊

城市空间结构生态城市

基于构件实现银行业务处理软件的设计

本文根据银行业务软件设计中构件的作用,为江西省分行开发了一系列银行业务交易构件,为了检索方便,采用树结构组建构件库,为程序开发人员提供了方便.

会议

基于构件银行业务处理软件软件设计开发人员树结构江西省构件库交易检索分行程序

,Developing new understanding of photoelectrochemical water splitting via in-situ techniques: A revi

Photoelectrochemical (PEC) water splitting is a promising technology for solar hydrogen production to build a sustainable, renewable and clean energy economy. G

期刊

In-situWater splittingIMPSTASSPM

潜山县农村饮水建设成效与“十三五”思路

期刊

城市黑臭河道水体治理基本思路的探讨

随着经济和科技水平的快速发展，人们在生产生活中对于物质基础也提出了更高的要求。其中居住环境的改善则是主要的需求之一，城市发展中因城市管理质量或气候环境等现状，造成的城

期刊

城市河道黑臭水体整治方案

电力系统二次设备UPS配置方案及选择探讨

摘要：电力系统二次设备安全稳定运行首先要有可靠的电源保证，目前电力公司变电站、电力调度控制中心机房都配有相应的UPS设备，不同的二次设备UPS配置运行方式也不完全相同，结合电力公司常见的UPS配置方式做出科学的评述，为电力企业运行维护人员选配UPS提供很好的参考。　　关键词：UPS；冗余；热备份　　作者简介：翟程虎（1974-），男，江苏涟水人，江苏涟水县供电公司电力调度控制中心，助理工程师。（江

期刊

二次设备UPS电力系统冗余电力公司热备份并联冗余调度控制中心机房电力企业

概率计算复杂性语言类BPP的研究

本文研究了概率计算复杂性中的重要语言类,BPP给出了BPP≠PP的一个充分必要条件以及BPP的几个等价命题.

会议

概率计算复杂性等价命题语言类

并行对象的Action演算

其他学术论文