X-进程相关论文
在新型并发计算模型－Ｘ－演算的基础上进一步研究高价Ｘ－演算，并从代数性质，递归能力等方面研究该计算模型，该演算的特点是它的对称性。......
非对称x^≠-演算是一种移动计算模型．通过研究该演算的互模拟格，能够增强理解非对称性和不等名算子对移动进程代数理论的影响．在给出......
