- 年份
- 2025(1)
- 2023(1)
- 2020(3)
- 2019(3)
- 2018(2)
- 2017(3)
- 2016(1)
- 2015(3)
- 2014(5)
- 2013(2)
- 更多...
- 核心收录
- 中国科技论文与引文数据库(CSTPCD)(40)
- 中国科学引文数据库(CSCD)(35)
- 北京大学中文核心期刊目录(北大核心)(32)
- 中文社会科学引文索引(CSSCI)(2)
- 更多...
- 刊名
- 计算机工程与应用(9)
- 计算机工程(7)
- 计算机工程与科学(4)
- 计算机应用与软件(4)
- 计算机科学与探索(3)
- 华中科技大学学报(自然科学版)(2)
- 南京大学学报(自然科学版)(2)
- 计算机与数字工程(2)
- 计算机应用研究(2)
- 计算机技术与发展(2)
- 更多...
- 作者单位
- 燕山大学(7)
- 河北科技师范学院(6)
- 南京航空航天大学(5)
- 北方工业大学(4)
- 南京大学(3)
- 国防科技大学(3)
- 淮北师范大学(3)
- 上海交通大学(2)
- 东华大学(1)
- 云南大学(1)
- 更多...
- 语种
- 汉语(58)
- 关键词
- 进程代数(58)
- Petri网(5)
- Web服务(5)
- 形式化(4)
- 形式化方法(4)
- 动态演化(3)
- 并发系统(3)
- 构件(3)
- π演算(2)
- 主动请求接口(2)
- 更多...
- 作者
- 王涛(7)
- 马川(7)
- 申利民(4)
- 曹子宁(3)
- 马艳芳(3)
- 刘万伟(2)
- 吕建(2)
- 周倜(2)
- 孙晶(2)
- 张冠华(2)
- 更多...
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 58 条结果
- 802.11MAC层切换过程的代数验证CSCDCSTPCD
- 基于进程代数的软件动态演化模型初探CSTPCD
- 安全协议的进程代数规约到逻辑程序的自动转换CSCDCSTPCD
- Web服务交互过程建模与验证研究
- Web服务组合形式理论分析与研究CSTPCD
- 基于偏序简化的并发系统验证CSTPCD
- 基于模型代数的DSS建模与实现方法研究北大核心CSCDCSTPCD
- 一种标记转移系统的构造与执行方法北大核心
- 基于概率多项式时间进程的安全协议分析北大核心CSCDCSTPCD
- 一种FTCSP的服务组合时间建模与分析方法CSTPCD