周晓聪 李师贤 孙斌 阳春华 刘汨春 潘理 马建 沈晓昱 付子义 刘显明 甄炜 范祥华 宛霞 张珞玲

子类型关系 客户服务器模型 业务流程管理 非对称 远程方法调用 递归类型 正则表达式 ZigBee 分解变换 线性方程组 时间Petri网 带序范畴 对象表示 试题库系统 并发模型 体系结构 优先关系 PER模型 存在类型 类型系统 并行工程 无线适配器 结构图 对应关系 Java语言 价格时间变迁系统 高阶子类型关系 协同工作环境 价格 永磁直线同步电机

南京大学计算机软件新技术国家重点实验室 广东广州 中国科学院软件所并行计算室 中国科技大学研究生院计算机学部 江苏南京 中山大学计算机科学系 香港城市大学商学院BPR技术中心 河南理工大学电气工程及其自动化学院