广义可能性互模拟及其逻辑刻画

张兴兴,邓楠轶,马占有,李永明

Possibilistic bisimulation based on generalized
possibility measures and its logical characterizations

ZHANG Xingxing,DENG Nanyi,MA Zhanyou,LI Yongming

计算机工程与科学 . 2015, (05): 951 -957 .