bisimulation
常见例句
- Bisimulation Congruence in Robust Ambient Calculus
鲁棒环境演算中的互模拟同余关系 - Timed Bisimulation over Timed Symbolic Transition Graph
时间符号迁移图及其互模拟判定 - barbed bisimulation
钩互模拟 - Backward Bisimulation
后向互模拟 - weak bisimulation equivalence
弱互模拟等价 返回 bisimulation