In the last part of this thesis, we will characterize behavioral equivalences by combinatorial games.
本文的最后一部分将使用组合游戏来刻画行为等价关系。
The combinatorial games are much finer than game template in characterizing behavioral equivalences, and are much closer to the design of equivalence checking algorithms.
组合游戏的刻画方法比游戏模板更为细致，而且更加接近等价性检测算法的设计。
应用推荐