李祥 王天江 谭新星

动态服务发现 背包问题 快速排序 并行算法 网络计算 数据结构 不动点 嵌套谓词等式系 NP∩co-NP问题 语义Web服务 移动环境演算 移动界程 进程代数 时间-存储器-处理机折中 移动计算 NP问题 协议栈 计算复杂度 μ-演算 模型检测 安全认证角色 算法复杂性 谓词μ-演算 算法分析

贵州大学计算机理论与软件研究所 广东韶关学院计算机系 贵州大学计算机软件与理论研究所 中山大学地理科学与规划学院 贵阳550025韶关学院计算机系 韶关学院计算机科学学院 华中科技大学计算机科学与技术学院 湖北武汉