钟发荣 吕建 方海 胡昊 肖芳雄 陈靖 林惠民 李舟军 王兵山 李斌 舒忠梅 沈浩 林敏 钟广军 许文 徐林 李勇坚 刘建元 陈火旺 黄志球 袁敏 何积丰 杜慧敏 陈韬略 周晓聪 曹子宁 傅育熙 孙永强

进程代数 传值进程 谓词等式系 同余性 公理化 共归纳原理 μ算子 时间符号迁移图 通用框架 观察同余 谓词等式系 一阶逻辑 共代数逻辑 模态逻辑 Monadic二阶逻辑 博弈 终结共代数 验证算法 事件调度 实时系统 操作语义 并发理论 语言包含 等价事务 移动进程演算 移动进程 共代数 观察模型 进程代数 χ-演算

进程代数 传值进程

谓词等式系