常見(jiàn)例句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