不等名测试相关论文
该文对π-演算和χ-演算上的弱互模拟同余关系的公理化系统进行了系统、深入的研究,主要的贡献有以下五个方面:1.对带不等名测试算......
计算的模型一般可以分为两类,一类是顺序计算,一类是并行与并发计算.以π-演算为代表的移动进程演算是描述并发系统的一种理论模型......