并行对象的Action演算

摘要：

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

关键词： Action演算簇 并行面向对象语言 语义描述

作者: 金英 金成植

作者单位: 吉林大学前卫校区计算机科学系(长春)

会议类型: 国内会议

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

会议地点: 福州

会议语种:中文

页码: 22-26

在线出版日期: 2001-09-01（万方平台首次上网日期，不代表论文的发表时间）