计算机工程与科学2015，Vol.37Issue(5)：951-957,7.DOI:10.3969/j.issn.1007-130X.2015.05.015
广义可能性互模拟及其逻辑刻画
Possibilistic bisimulation based on generalized possibility measures and its logical characterizations
摘要
关键词
广义可能性测度/可能性互模拟/计算树逻辑Key words
generalized possibility measure/possibilistic bisimulation/computation tree logic分类
信息技术与安全科学引用本文复制引用
张兴兴,邓楠轶,马占有,李永明..广义可能性互模拟及其逻辑刻画[J].计算机工程与科学,2015,37(5):951-957,7.基金项目
国家自然科学基金资助项目(11271237,61228305) （11271237,61228305）
高等学校博士学科点专项基金资助项目(20130202120001) （20130202120001）
