%0 Journal Article
%T γ演算到action演算的转换
%A 金英？
%A 金成植？
%J 软件学报
%P 16-22
%D 2003
%X action演算簇(actioncalculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算ac(kγ),然后给出了从(演算到ac(kγ)转换的形式描述,最后在定义ac(kγ)的可观察性、弱互模拟关系和弱等价关系的基础上,以(演算为中间表示,证明了这种转换保持了(演算的弱行为等价性.研究表明,action演算簇可以表示基于约束的并发模型,从而充分说明了action演算簇的描述能力,并且为在action演算簇框架下把(演算与其他并发模型结合并进行比较提供了前提.
%K action演算簇
%K (演算
%K 转换
%K 弱等价关系
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20030103&flag=1