|
1
|
基于关系闭集的模糊互模拟算法函数式建模及其机械化验证 |
吴嘉伟
游珍
左正康
张晗庆
程着
|
《江西师范大学学报(自然科学版)》
北大核心
|
2024 |
0 |
|
|
2
|
绿色评价模型的互模拟等价及逻辑保持 |
钮俊
曾国荪
王伟
|
《计算机学报》
EI
CSCD
北大核心
|
2013 |
4
|
|
|
3
|
基于可能性测度的计算树逻辑CTL~＊与可能性互模拟 |
邓辉
薛艳
李亚利
李永明
|
《计算机科学》
CSCD
北大核心
|
2012 |
11
|
|
|
4
|
互模拟的一些基本性质 |
李娜
姚从军
|
《云南师范大学学报（哲学社会科学版）》
CSSCI
|
2010 |
8
|
|
|
5
|
π-网的强互模拟等价 |
曹木亮
吴智铭
|
《计算机学报》
EI
CSCD
北大核心
|
2005 |
3
|
|
|
6
|
连续时间Markov决策过程互模拟等价及逻辑保持 |
黄镇谨
陆阳
杨娟
王智文
|
《控制理论与应用》
EI
CAS
CSCD
北大核心
|
2016 |
1
|
|
|
7
|
时间符号迁移图及其互模拟判定 |
陈靖
林惠民
|
《计算机学报》
EI
CSCD
北大核心
|
2002 |
2
|
|
|
8
|
时间自动机与信号自动机的互模拟算法 |
朱维军
刘保罗
周清雷
|
《华南理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
|
2008 |
1
|
|
|
9
|
传值系统的互模拟与谓词等式系 |
林惠民
|
《计算机学报》
EI
CSCD
北大核心
|
1998 |
3
|
|
|
10
|
基于符号迁移图的互模拟验证算法 |
李舟军
陈火旺
|
《计算机工程与科学》
CSCD
|
2002 |
1
|
|
|
11
|
并发计算的元模型 Ⅲ.互模拟格 |
傅育熙
|
《上海交通大学学报》
EI
CAS
CSCD
北大核心
|
2000 |
2
|
|
|
12
|
移动进程演算中的开互模拟 |
傅育熙
|
《计算机学报》
EI
CSCD
北大核心
|
2001 |
2
|
|
|
13
|
同构、P-态射、互模拟与模态等价性 |
姚从军
|
《西南大学学报（社会科学版）》
CSSCI
北大核心
|
2010 |
1
|
|
|
14
|
鲁棒环境演算中的互模拟同余关系 |
陈韬略
李斌
韩婷婷
吕建
|
《南京大学学报（自然科学版）》
CAS
CSCD
北大核心
|
2005 |
0 |
|
|
15
|
一个移动进程演算的互模拟同余定义框架 |
陈韬略
李斌
胡昊
吕建
|
《计算机科学》
CSCD
北大核心
|
2004 |
0 |
|
|
16
|
非对称χ~≠-演算的互模拟格 |
董笑菊
傅育熙
钟发荣
|
《计算机研究与发展》
EI
CSCD
北大核心
|
2004 |
0 |
|
|
17
|
STGA的变种及其互模拟验证 |
李舟军
陈火旺
钟广军
王兵山
|
《计算机学报》
EI
CSCD
北大核心
|
2000 |
0 |
|
|
18
|
基于可计算函数的C模型互模拟性质 |
姜梦稚
赵风景
|
《上海交通大学学报》
EI
CAS
CSCD
北大核心
|
2012 |
0 |
|
|
19
|
互模拟与逻辑 |
沈浩
孙永强
|
《计算机科学》
CSCD
北大核心
|
2004 |
0 |
|
|
20
|
嵌套谓词等式系与弱互模拟 |
林惠民
|
《软件学报》
EI
CSCD
北大核心
|
1999 |
0 |
|
