γ演算到Action演算的转换

• 作者: 金成植 金英
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: action演算簇 (演算 转换 弱等价关系
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 16-22
• 页数: 7页
• 分类号: TP301
• 字数: 5478字
• 语种: 中文

摘要

Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(K(),然后给出了从(演算到AC(K()转换的形式描述,最后在定义AC(K()的可观察性、弱互模拟关系和弱等价关系的基础上,以(演算为中间表示,证明了这种转换保持了(演算的弱行为等价性.研究表明,action演算簇可以表示基于约束的并发模型,从而充分说明了action演算簇的描述能力,并且为在action演算簇框架下把(演算与其他并发模型结合并进行比较提供了前提.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金英	吉林大学计算机科学与技术学院	28	124	6.0	10.0
2	金成植	吉林大学计算机科学与技术学院	27	94	4.0	8.0