王能斌 刘宏伟 杨孝宗 程欣 徐立臻 马增强 韩耀军 董剑 潘敏学 李宣东 陈远云 周兵 丁佐华 赵宁 胡国玲 刘静 蒋昌俊 李倩 井海明 罗雪梅 陶霖 江明月

加锁算法 工具评估 分布式数据库系统 死锁解除 通用模型 分布式系统 迭代法 数据结构 等待图 AND-OR模型 常微分方程 化简 主副本 连续Petri网 结点 事务标识 容错 并发控制 同步合成 Petri网 并发程序 有向路径 工具综合应用 共享合成 并发软件 状态爆炸 事务处理 银行家算法 分布式计算 移动代理