钟发荣 蒋翔宇 林敏 徐林 朱涵 吴永辉 董笑菊 顾永跟 李国强

中国计算机 Spi演算 可达关系 计算机教育 互模拟格 信息科学 移动进程 测试等价 安全协议 Kerberos协议 并发理论 进程演算 χ-演算 公理化 并行理论 全国青年计算机学术会议 非对称χ进程 进程代数 消息推理 计算机产业 互模拟

上海交通大学计算机科学与工程系 上海交通大学计算机系 复旦大学计算机系 华东师范大学计算机系 湖州师范学院计算机科学与技术系 上海交通大学DNA计算机交叉团队 浙江师范大学计算机科学系