标题:Logical characterizations of simulation and bisimulation for fuzzy transition systems
作者:Wu, HY[1];Deng, YX[2]
作者全称:Wu, Hengyang[1];Deng, Yuxin[2]
通讯作者:Wu, Hengyang(wuhengy_1974@aliyun.com)
通讯作者地址:Wu, HY (reprint author), Hangzhou Dianzi Univ, Informat Engn Coll, Hangzhou 310018, Zhejiang, Peoples R China.
出版年:2016
卷:301
页码:19-36
关键词:Bisimulation; Completeness; Fuzzy labeled transition system; Logical characterization; Simulation; Soundness
摘要:Simulations and bisimulations are known to be useful for abstracting and comparing formal systems, and they have recently been introduced into fuzzy s 更多
收录类别:SCOPUS;SCIE;EI
WOS被引:4
Scopus被引:8
当年影响因子:2.718
5年影响因子:2.224
JCR分区:Q1
资源类型:外文期刊论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
相关成果:

个性服务

原文链接

被引量

wos被引: 4 更新
scopus被引: 8

影响因子

当年影响因子 : 2.718

网络计量

其他

TOP