基本解釋互模擬同根派生 bisimulation相關詞英漢例句Bisimulation Congruence in Robust Ambient Calculus 魯棒環(huán)境縯算中的互模擬同餘關系Timed Bisimulation over Timed Symbolic Transition Graph 時間符號遷移圖及其互模擬判定barbed bisimulation 鉤互模擬Backward Bisimulation 後曏互模擬weak bisimulation equivalence 弱互模擬等價bisimulation更多例句