open-bisimulation

英 ['əʊpənbɪsɪmjʊl'eɪʃn] 美 ['əʊpənbɪsɪmjʊl'eɪʃn]

• 开互模拟