李祥 许新山 张广泉 赵莉莉 鞠小林 张德运 白金山 肖健宇 郑卫斌 杜习慧

系统调用 交替计算 进程控制 竞态消息 重叠执行 跟踪 会合 进程 限制临界引用 区域化执行证据 公平转换系统 CPV 重演 循环-承载数据依赖 可信性 嵌套关系 Ada程序复杂性 粒度求精 接续关系 状态 程序依赖图