bisimulation

常見例句

• Bisimulation Congruence in Robust Ambient Calculus
  魯棒環(huán)境縯算中的互模擬同餘關(guān)系
• Timed Bisimulation over Timed Symbolic Transition Graph
  時(shí)間符號(hào)遷移圖及其互模擬判定
• barbed bisimulation
  鉤互模擬
• Backward Bisimulation
  後曏互模擬
• weak bisimulation equivalence
  弱互模擬等價(jià)
返回 bisimulation