颜峰 吕建 周竞扬 李斌 胡昊 韩婷婷 颜锋 朱朝晖 陈道蓄 朱梧槚

π演算 递归函数 通用框架 移动进程演算 服务集成组装 BDI模型 移动计算 Agent通信 λ演算 π可定义性 可判定性 agent理论 agent结构 分布式计算 Web服务 偏序事件结构 移动Agent 并发理论 意向理论 关系结构 互模拟 空间逻辑 消息传递 定义框架

南京大学计算机软件新技术国家重点实验室 江苏南京 江苏扬州 扬州大学计算机科学与技术系