bisimulation

...统去替换 另一个系统。Pi演算中的行为等价理论在 互模拟(Bisimulation)技术的基础上，提供 了基于强互模拟的强等价关系和 …

通过这些例子我们将逐步逼近互模拟（bisimulation）的概念。希望大家能在本课中不断体会逻辑中syntax与semantics的分离和 …

...人工抽象为AMS 模型 u 这种抽象关系并不是可互模拟的(bisimulation)－－ t 模型降阶去掉了模拟行为 t 在电路级未测试所有 …