咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 1 篇 网络实体网络体系...

机构

  • 1 篇 中国矿业大学
  • 1 篇 山东工商学院
  • 1 篇 中国传媒大学

作者

  • 1 篇 潘耘
  • 1 篇 冯烟利
  • 1 篇 yu zhen-wei
  • 1 篇 余镇危
  • 1 篇 pan yun
  • 1 篇 feng yan-li

语言

  • 1 篇 中文
检索条件"主题词=网络实体网络体系结构进程代数"
1 条 记 录,以下是1-10 订阅
排序:
基于进程代数网络体系结构形式化模型
收藏 引用
计算机工程与应用 2007年 第24期43卷 155-157页
作者: 冯烟利 余镇危 潘耘 山东工商学院计算机基础教学部 山东烟台264005 中国矿业大学(北京校区)计算机学院 北京100083 中国传媒大学计算机学院 北京100024
首先用形式化方法给出了网络实体网络连接件和网络体系结构框架模型的定义,然后利用进程代数理论定义了网络体系结构上的网络实体运算,进而建立了网络体系结构代数模型,为进一步研究网络体系结构打下了坚实的理论基础。
来源: 评论