γ演算到Action演算的转换
作者机构：吉林大学计算机科学与技术学院吉林长春130012
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：2003年第14卷第1期
页 码：16-22页
摘 要：Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把g演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(Kg),然后给出了从g演算到AC(Kg)转换的形式描述,最后在定义AC(Kg)的可观察性、弱互模拟关系和弱等价关系的基础上,以p演算为中间表示,证明了这种转换保持了g演算的弱行为等价性.研究表明,action演算簇可以表示基于约束的并发模型,从而充分说明了action演算簇的描述能力,并且为在action演算簇框架下把g演算与其他并发模型结合并进行比较提供了前提.
主 题 词：γ演算 Action演算 弱等价关系 程序设计语言 函数式语言
学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类]
核心收录：
D O I：10.13328/j.cnki.jos.2003.01.003
馆 藏 号：203628909...
