高阶进程演算的互模拟研究

近年来，高阶进程演算系统是国际上研究的一个热点，它是一种刻画进程传递的形式化系统，为网络计算、分布式计算、移动计算等提供了理论模型。但与已有的进程演算系统相比，高阶进程演算系统的研究还不充分。本项目主要研究高阶进程演算中的互模拟及其应用。符号互模拟是在传值CCS与Pi演算中被提出，该概念在互模拟检测算法和互模拟关系公理化等方向有重要应用，本项目将把符号互模拟推广到高阶进程演算系统中，并讨论其应用。开互模拟是在Pi演算中提出的重要概念，其反映的等价关系更为精细。本项目将把开互模拟概念推广到高阶进程演算中，并研究其性质。分支互模拟可以反映进程的分支结构，并有一些良好的性质，本项目将把分支互模拟概念推广到高阶进程演算中，并研究其性质。最后，本项目将在上述工作基础上，研究互模拟检测算法，并应用到协议验证等实例中。