周功业 张颖江 贾亦青 周中一 王建 夏宇 杨红雨 方宁德 谢长生 刘彤 秦奋涛 李芳 赵素萍 康丽 陶毅 胡术

进程 网络数据库 库所变迁网 同步 语法扩展 并发控制 互斥 序号生成 分时系统 进程 信号 临界段 互斥锁 V操作 有限自动机 光盘驱动器 Petri网 信号灯机制 死锁检测 操作系统 多处理器 P操作

进程