左亚尧 周晓聪 胡金柱 潘久辉 李师贤 汤庸

共代数逻辑 象形对象 范畴理论 相关更新 组件 时序逻辑 共归纳原理 软件体系结构 分布式应用 关联更新 代数规范 时态逻辑 数据仓库 互操作性 互模拟 数据库系统 共代数 分布式 共关系 亚自维护 面向对象 并发更新 并行 体系结构 自动侦测 Peer-to-Peer 重用 视图维护 OOPEN 子共代数

中山大学计算机科学系 华中师范大学计算机科学系 华南师范大学 湖北武汉 中山大学计算机系 广东工业大学计算机学院 中山大学 广东广州