多态x-演算

1 引言计算模型是计算机科学研究的重要问题之一。计算机科学家对顺序计算的研究已处于较成熟的阶段,并提出了相应的计算模型,其中尤以λ-演算最为经典。与顺序计算相比,我们对并行计算的认识处于较肤浅的水平。自Milner提出CCS以来,计算机科学家提出了一系列并行与并发计算模型。在这些模型中Milner等人提出的π-演算是较为成熟的。和λ-演算一样。