bisimalation

基本解释

• 互模擬

同根派生

 

• bisimalation相关词