论文部分内容阅读
计算机软件理论发展至今,研究焦点已从顺序计算转移到了并移计算.该文提出了对称λ-π演算,然后针对它进行了系统、深入的研究,给出了λ演算与π演算均是它的子语言的证据,作者的主要的工作包括以下几个方面:1.将两类π演算变体的特点综合,给出了对称λ-π演算的模型;2.将π演算翻译成对称λ-π演算及给出了完全刻划定理;3.将λ演算翻译成对称λ-π演算.以上所作的研究工作很有价值.对称π演算无输入输出之分,Lambda-π演算中进程与通道没有区分.