常見(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