提示
余镇危
-
28浏览
-
0点赞
-
0收藏
-
0分享
-
73下载
-
0评论
-
引用
期刊论文
网络体系结构建模和性能评价的形式化方法-随机进程代数
数学的实践与认识2004年11月第34卷第11期/MATHEMATICS IN PRACTICE AND THEORY Nove., 2004, Vol. 34, No. 11，-0001，（）：
摘要/描述
随机进程代数是从经典进程代数发展起来，用于并发系统的定性和定量分析的形式化方法，特别适合在计算机网络和通信协议的建模和性能评价。首先介绍了SPA 的语法和操作语义。并以令牌环局域网模型为例来说明其应用. 进一步讨论了SPA 的三种等价关系，以期解决模型状态空间爆炸问题。
【免责声明】以下全部内容由[余镇危]上传于[2007年04月17日 14时47分32秒]，版权归原创者所有。本文仅代表作者本人观点，与本网站无关。本网站对文中陈述、观点判断保持中立，不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考，并请自行承担全部责任。
我要评论
全部评论
共 0 条
本学者其他成果
同领域成果
