肖芳雄 林惠民 陆佳炜 董荣胜 曹子宁 刘万伟 龚正虎 袁敏 陈波 许文 白英彩 张冠华 陆汝钤 施伯乐 史玉良 孟跃进 王永滨 袁禄来 尹青 刘剑 周倜 周斌 黄志球 孙晶 高济 侯迪 贾学东 杨怡玲 齐勇 曾亮

互模拟 设计规约 构件检索 标记变迁系统 消解 模型简化 公理化 示例 非对称χ进程 可构造性质 网络计算 成本 Agent 分布协同 模型检验 Web服务 LOTOS 自治主体 移动进程 算法 传值进程 鲁棒灰箱演算 证明图 正向推理 服务组合 概率可观察等价性 概率进程 复合不变性质 应用程序接口（API） χ-演算

互模拟