我的机构馆
退出
数字图书馆首页
CNKI首页
浏览器下载
帮助
曹木亮
【姓名】
曹木亮
【职称】
副教授;
【研究领域】
计算机软件及计算机应用;电信技术;数学;
【研究方向】
离散事件系统和混合动态系统
【发表文献关键词】
π-网,互模拟,π-演算,π-网的复合规则,π演算,Petri网,操作规则,标号,库所,通道名,拟合,复合操作,演算,高级Petri网,Petri,模块化,复合规则,多重集,并发语义,并行复合,基本网...
【工作单位】
上海交通大学
【曾工作单位】
上海交通大学;
【所在地域】
上海桂林
学术成果产出统计表
今年新增
/文献篇数
核心期刊论文数
基金论文数
第一作者篇数
总被引频次
总下载频次
0
/
4
2
3
4
36
973
文献数(该学者统计年度当年发文总文献数)
被引频次(该学者统计年度当年发文总被引频次)
浏览趋势(该学者统计年度当年发文总浏览频次)
下载频次(该学者统计年度当年发文总下载频次)
学术成果产出明细表
中国期刊全文数据库
共找到3篇
[1]曹木亮,吴智铭,杨根科.
π-网—一类新型的模块化高级Petri网
[J]系统仿真学报.2003,(S1)
[2]曹木亮,吴智铭,杨根科.
一类新型的模块化高级Petri网——π-网
[J]上海交通大学学报.2004,(01)
[3]曹木亮,吴智铭.
π-网的强互模拟等价
[J]计算机学报.2005,(01)
更多
中国博士学位论文全文数据库
共找到1篇
[1]曹木亮.
基于π-演算的Petri网和密码协议的形式化分析
[D].上海交通大学.2007
更多
研究方向相近的学者
(学者,学者单位)
许文
中国科学院软件研究所
方海
中国科学院软件研究所
更多
合作过的学者
(学者,学者单位,篇数)
杨根科
上海交通大学
2
吴智铭
上海交通大学
3
更多
该学者文献引用过的学者
(学者,学者单位,篇数)
傅育熙
上海交通大学
2
更多