α)-互模拟相关硕士博士期刊学术论文

分层刻画是传统的互模拟概念研究中的一个重要内容,它为一些互模拟判定算法提供了理论基石。（η,α）-互模拟是一种带折扣的近似互模......