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

中国计算机 Spi演算 可达关系 计算机教育 互模拟格 信息科学 移动进程 测试等价

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