π演算和传值CCS 开互模拟的语义理论及其公理化研究

π演算和传值CC是当今进程代数领域的最新发展，其传名和传值特性更适合于对并发通信系统进行直接的建模。开互模拟是一种有待深入研究的重要互模拟等价关系，本项目将致力于研究：π演算开互模拟的符号验证算法和公理系统、带不等名测试的π演算的开互模拟及其公理系统、传值CCS的开互模拟等一系列问题，因而具有理论和实践的双重意义。