徐开发分布式计算已经成为计算机科学前沿的研究热点之一.由于并发分布式计算与传统的顺序计算有着本质的不同,以及并发分布式系统固有的复杂性,我们并发分布式计算的本质的认识尚处于初级阶段.形式化方法是认识并发分布式系统、提高并发分布式系统正确性和可靠性的行之有效的重要研究方法.进程演算(也称进程代数)是一类重要的形式化方法.著名的进程代数包括CCS、CSP和π-演算等.π-演算是在CCS基础上发展起来的一种移动进程演算.以π-演算为代表的进程代数,由于其概念简洁,可用的数学工具丰富和数学方法灵活,在并发分布式系统的规范、分析、设计、验证和信息安全等方面得到了广泛的应用.X-演算是π-演算的改进和发展.从操作观点看,X-演算是通过消除π-演算的非对称性而得到的,是一种对称的移动进程演算.这一改进导致观察性质的重要变化.有关X-演算的研究丰富了类π-演算的内容,这些研究有助我们增进对类X-演算的认识.有关X-演算的有意义的结果包括揭示弱观察等价关系的微妙差别,以及发现这些关系的复杂规律.但在现实的并发分布式系统中,绝大部分通信都是非对称的,并且往往要求不等名测试,因此本文研究具有非对称通信和带不等名算子的X-演算,既非对称X<≠>-演算.