高阶x—进程

在新型并发计算模型－Ｘ－演算的基础上进一步研究高价Ｘ－演算，并从代数性质，递归能力等方面研究该计算模型，该演算的特点是它的对称性。