论文部分内容阅读
本文研究具有非对称通信和带不等名算子的χ-演算，即非对称χ≠-演算。主要工作包括以下三个方面：
1.参照傅育熙教授关于χ≠-演算的开互模拟定义，给出非对称χ≠-演算的强开互模拟关系定义，以及其弱的版本定义.
2.基于林惠民院士的符号化思想以及钟发荣老师关于非对称χ≠-演算的操作语义的定义，给出非对称χ≠-演算的符号操作语义，并定义了符号强开互模拟、以及符号弱的版本定义，并证明了符号开互模拟与其开互模拟关系是一致的。
3.完成了带不等名测试算子的非对称χ-演算的符号强开互模拟的验证算法，证明了算法的正确性.