%0 Journal Article %A $authorName.trim() %A $authorName.trim() %A $authorName.trim() %T 基于进程代数的网络体系结构形式化模型 %D 2007 %R %J 计算机工程与应用 %P 155-157 %V 43 %N 24 %X 首先用形式化方法给出了网络实体、网络连接件和网络体系结构框架模型的定义,然后利用进程代数理论定义了网络体系结构上的网络实体运算,进而建立了网络体系结构的代数模型,为进一步研究网络体系结构打下了坚实的理论基础。 %U http://cea.ceaj.org/CN/abstract/article_14827.shtml