Seal演算与Boxed Ambient演算的关系分析  

Analysis on Relation between Seal-Calculus and Boxed Ambient Calculus

作　　者：郑晓娟[1] 金英[2] 金成植[2] 

机构地区：[1]东北师范大学软件学院,长春130117 [2]吉林大学计算机科学与技术学院,长春130012

出　　处：《吉林大学学报（信息科学版）》2005年第4期423-428,共6页Journal of Jilin University（Information Science Edition）

摘　　要：研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义。本文在系统分析Seal演算与BoxedAmbient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价。最后给出了Seal演算通信进程到BoxedAmbient演算通信进程的一种结构化转换方法。It is important to analyze the relation between different calculus in theory significances to investigate their logic structure and description function. Based on analyzing the structure of syntax and the reduction system of semantics in seal-calculus and boxed ambient calculus we present a few equivalence relation: communica-(tion's) equivalence,communication primitive's equivalence and the equivalence of code movement. Then we show the transform technology in structure from seal calculus to boxed ambient calculus.

关 键 词：SEAL演算 Ambient演算 通道 移动代码 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]