X-演算相关论文
计算的模型一般可以分为两类,一类是顺序计算,一类是并行与并发计算.以π-演算为代表的移动进程演算是描述并发系统的一种理论模型......
徐开发分布式计算已经成为计算机科学前沿的研究热点之一.由于并发分布式计算与传统的顺序计算有着本质的不同,以及并发分布式系统......
提出一新型并发计算模型－ｘ－演算，它与π－演算的不同之处在于；具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作作界定，允许更大......
在新型并发计算模型－Ｘ－演算的基础上进一步研究高价Ｘ－演算，并从代数性质，递归能力等方面研究该计算模型，该演算的特点是它的对称性。......
<正> 1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。......
