网络体系结构建模和性能评价形式化方法——随机进程代数.pdfVIP

第 34 卷第 11 期 数学的实践与认识 V o l34　N o 11　 2004 年 11 月 M A TH EM A T ICS IN PRA CT ICE AND TH EO R Y N ove. , 2004　 网络体系结构建模和性能评价的 形式化方法——随机进程代数 1, 2 1 1 1 冯烟利 , 　余镇危 , 　潘　耘 , 　刘克俭 ( ( ) ) 1. 中国矿业大学机电与信息工程学院 北京校区 , 北京　100083 (2. 山东工商学院信息工程学院, 山东 烟台　 264005) 摘要: 　随