摘要
研究不同演算系统之间的逻辑结构和描述能力具有重要的理论意义。本文在系统分析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.
出处
《吉林大学学报（信息科学版）》
CAS
2005年第4期423-428,共6页
Journal of Jilin University（Information Science Edition）
