bisimulation
基本解釋
- 互模擬
英漢例句
- Bisimulation Congruence in Robust Ambient Calculus
魯棒環(huán)境演算中的互模擬同余關(guān)系 - Timed Bisimulation over Timed Symbolic Transition Graph
時間符號遷移圖及其互模擬判定 - barbed bisimulation
鉤互模擬 - Backward Bisimulation
后向互模擬 - weak bisimulation equivalence
弱互模擬等價