主要研究带失配的高阶进程演算的公理化问题。首先,建立存在失配时高阶进程的开弱高阶互模拟理论,证明了等价关系,同余性等重要性质;其次,沿用线性的方法,制造得到带不匹配的有限进程上的公理系统;最后,基于对开弱高阶互模拟的刻画,证明了该公理系统的完备性定理。的有效算法的设计与实现,且为相关的应用建模工作提供了理论上的依据。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~