文献类型：期刊文章

作　　者：冯烟利[1] 余镇危[2] 潘耘[3]

机构地区：[1]山东工商学院计算机基础教学部,山东烟台264005 [2]中国矿业大学(北京校区)计算机学院,北京100083 [3]中国传媒大学计算机学院,北京100024

出　　处：《计算机工程与应用》

基　　金：山东省自然科学基金(the Natural Science Foundation of Shandong Province of China under Grant No.Y2006G13);教育部博士点基金资助项目(No.20030290003)

年　　份：2007

卷　　号：43

期　　号：24

起止页码：155-157

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

摘　　要：首先用形式化方法给出了网络实体、网络连接件和网络体系结构框架模型的定义,然后利用进程代数理论定义了网络体系结构上的网络实体运算,进而建立了网络体系结构的代数模型,为进一步研究网络体系结构打下了坚实的理论基础。

关 键 词：网络实体网络体系结构进程代数  

分 类 号：TP393]