|
已选(0)清除
条数/页： 排序方式：
|
| 基于应用pi演算的可信平台模块的安全性形式化分析 期刊论文
计算机研究与发展, 2011, 卷号: 48, 期号: 8
作者: 徐士伟; 张焕国
  收藏 | 浏览/下载：3/0 | 提交时间：2019/12/05
|
| 通用海量数据库性能测试系统的设计与实现 期刊论文
2010, 2010
武海平; 余宏亮; 郑纬民; WU Haiping; YU Hongliang; ZHENG Weimin
收藏 | 浏览/下载：2/0 |
| 一个并发传值系统自动验证工具的图形界面实现 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
肖颖奇
收藏 | 浏览/下载：13/0 | 提交时间：2011/03/17
|
| 井发传值进程模型检测工具的数据类型扩展 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
张轶
收藏 | 浏览/下载：8/0 | 提交时间：2011/03/17
|
| 用单任务编程语言模拟并发进程间的数据通信—同步 期刊论文
2002, 期号: 2, 页码: 19
作者: 马玉英[1]
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/30
|
| Petri网在并行与分布式多媒体系统中的应用 学位论文
工学硕士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1999
张辉
收藏 | 浏览/下载：43/0 | 提交时间：2015/09/02
|
| 并发进程指称语义的几种基于Trace模型的定义方法 期刊论文
兰州大学学报(自然科学版), 1996, 期号: 1, 页码: 4
作者: 王生原; 杨萍
收藏 | 浏览/下载：2/0 | 提交时间：2016/07/15
|
| 工业控制微机中实时并发C、FORTRAN的设计与实现 期刊论文
计算机工程与应用, 1990, 期号: 5, 页码: 27-34
作者: 陈明华; 李人厚
收藏 | 浏览/下载：0/0 | 提交时间：2020/01/08
|
| 数据流图的语法及语义 学位论文
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1989
刘彤
收藏 | 浏览/下载：8/0 | 提交时间：2011/03/17 |
| OCCAM并发程序设计语言及其通信机制 期刊论文
计算机工程与设计, 1986
金晔; 许卓群
收藏 | 浏览/下载：0/0 | 提交时间：2015/11/10
|
