徐学洲 胡宏 顾冠群 李腊元 肖军模 万麟瑞 罗军舟 沈军 邓延军 孙红星

领域模型 构架模型 协议 Estelle 过程模型 PETRI网 传输协议 运输协议 分布计算 直观程序设计 OSI Petri网 形式验证 数字 Petri 网 数据库 组通信系统 报表打印程序 标号有限状态机 扩展虚拟同步 通信协议 工资发放 局部网络 传送服务 计算机网络 构件模型 面向构件方法 软件工具 EPrTN网系统 IO自动机 表格处理