首页|期刊导航|计算机工程与应用|基于进程代数的网络体系结构形式化模型

基于进程代数的网络体系结构形式化模型

冯烟利余镇危潘耘

计算机工程与应用2007，Vol.43Issue(24)：155-157,3.

基于进程代数的网络体系结构形式化模型

Formal network architecture model based on process algebra

冯烟利 ¹余镇危 ²潘耘³

作者信息

1. 山东工商学院,计算机基础教学部,山东,烟台,264005
2. 中国矿业大学,北京校区,计算机学院,北京,100083
3. 中国传媒大学,计算机学院,北京,100024
折叠

摘要

关键词

网络实体/网络体系结构/进程代数

分类

信息技术与安全科学

引用本文复制引用

冯烟利,余镇危,潘耘..基于进程代数的网络体系结构形式化模型[J].计算机工程与应用,2007,43(24):155-157,3.

基金项目

山东省自然科学基金(the Natural Science Foundation of Shndong Province of China under Grant No.Y2006G13) （the Natural Science Foundation of Shndong Province of China under Grant No.Y2006G13）

教育部博士点基金资助项目(No.20030290003). （No.20030290003）

计算机工程与应用

OA北大核心CSCDCSTPCD

ISSN：1002-8331

访问量0

下载量0

段落导航