该文用符号化方法对带有不等名测试算子π-演算模型中开观察同余关系进行了深入研究.主要的工作包括以下三方面:1.参照Fu和Yang关于弱开互模拟的非符号化定义,给出相应的符号化定义并证明了等价性和同余性.2.基于Li关于强开互模拟和Lin关于迟/早互模拟证明系统的构造,建立了开观察同余的符号化证明系统,并证明了该系统的可靠性和完备性.3.完成带不等名测试算子π-演算中开互模拟关系的验证算法,包括强、弱两种情况考虑到了.此外该文还对π-演算进程的层次化问题进行了初步研究.文中引入一种新的演算—层次化高阶π-演算.这种演算是π-演算的一个变种,语法简洁但描述能力较强.在这方面完成的工作有:1.提出了用高阶通信表示移动的思想,从而避免了为移动进程引入附加的特殊算子这一传统作法.2.提出层次化高阶π-演算(HHπ-演算),以反映这一思想.3.给出了该演算的语法、语义及类型系统,并翻译了一个分布式语言模型,展示了该演算的表达能力.上述结果具有重要的理论和实践意义,因为在进程代数中,公理化系统的提出标志着对互模拟等价关系的深刻理解;互模拟验证算法的提出意味着用机器自动判别进程间的等价关系成为可能;新计算模型的提出有助于加深对并发计算本质的理解.