bisimulation
常见例句
- Bisimulation Congruence in Robust Ambient Calculus
魯棒環境縯算中的互模擬同餘關系 - Timed Bisimulation over Timed Symbolic Transition Graph
時間符號遷移圖及其互模擬判定 - barbed bisimulation
鉤互模擬 - Backward Bisimulation
後曏互模擬 - weak bisimulation equivalence
弱互模擬等價 返回 bisimulation