北京交通大学学报（自然科学版）2008，Vol.32Issue(6)：83-89,7.
基于Pi-演算的集成P2P模式的网格形式化建模
Formal Modeling of Grid Integrated P2P Mode Using Pi-Calculus
摘要
关键词
网格计算/对等计算/Pi-演算/模型分类
信息技术与安全科学引用本文复制引用
熊曾刚,杨扬,曾明,陈福..基于Pi-演算的集成P2P模式的网格形式化建模[J].北京交通大学学报（自然科学版）,2008,32(6):83-89,7.基金项目
国家自然科学基金资助项目(90412012 （）
60673160 （）
60873192) （）
国家"863"资助项目(2007AA01Z234) （2007AA01Z234）
