刘静 孟卫东 聂俊岚 周春来 朱映远 孟跃进 刘宏 王连泽

π演算 可扩展的标记语言 Agent 效率 代理 动态联盟 载荷 进程代数

北京广播学院理学院 河北工业大学信息学院 北京广播学院计算机系 河北工业大学电器研究所 北京广播学院信息工程学院 河北工业大学电器技术研究所 北京广播学院计算机与软件学院 哈尔滨工业大学机器人技术与系统国家重点实...