古天龙 吴光伟 彭勋 赵岭忠 曹双进 郭云川 蔡国永 魏昭 骆翔宇 徐许亮 陈大伟 谢春光 李凤英 庞健雄 黄文明 赵新有 刘亮龙 文英 李超 高济

进程代数 时间戳服务器 模型检测 分布式实时调度 设计规约 SMV 机密性 SEP 符号模型验证 安全性 计算学科 分布协同 电子商务协议 分布式实时系统 约束转换 猜测攻击 模型检验 客户／服务器 拍卖 实时约束 原子性 时间Petri网 NetBill协议 公平性 可预测调度 容错 随机优化控制策略 计算机方法论 时限责任 计算机导论

桂林电子工业学院计算机系 桂林电子科技大学计算机系 桂林电子科技大学计算机与控制学院 广西桂林 桂林电子工业学院计算机学院 浙江大学计算机与软件学院 中国科学院计算技术研究所 浙江杭州