命题μ-演算局部模型检测高效算法设计
来源：计算机工程与应用杂志2017年第9期北京时间：
作者：李前利，江 华
单位：闽南师范大学 粒计算重点实验室，福建 漳州 363000
摘要：命题μ-演算局部模型检测算法中，目前最好的算法的时间复杂度与不动点算子交替嵌套深度[d]呈指数关系。针对命题μ-演算局部模型检测算法的计算过程进行分析，得到迭代计算的中间迭代值间满足的一组偏序关系，然后利用该偏序关系设计了一个局部模型检测算法，算法时间复杂度的指数部分为[d2]，大大提高了算法的计算效率。
关键词：&mu,-演算,局部模型检测,不动点,偏序关系
