基于Pi-演算的集成P2P模式的网格形式化建模
熊曾刚;杨扬;曾明;陈福
Formal Modeling of Grid Integrated P2P Mode Using Pi-Calculus
XIONG Zenggang;YANG Yang;ZENG Ming;CHEN Fu
. 2008, (6): 83 -89 . 

版权所有 © BJTUICP备15103003
地址：北京交通大学9号办公楼910/914室　
邮编：100044　
电话：(86-10)51688053/51684129　
E-mail：bfxb@bjtu.edu.cn
技术支持：北京玛格泰克科技发展有限公司