|
|||||
|
|
| 一种改进的SRARQ协议的Pr/T网描述与验证 | |
| 引用本文： | 贾彬,曹南豫.一种改进的SRARQ协议的Pr/T网描述与验证[J].计算机工程与应用,1998,34(9):14-17. |
| 作者姓名： | 贾彬 曹南豫 |
| 作者单位： | 复旦大学 |
| 摘 要： | 讨论一种采用改进的选择重发策略的ＡＲＱ（自动重发请求）协议，其特点是设置有限缓冲区和采用改进的重发算法。基于以上讨论，给出该协议的谓词／变迁Ｐｅｔｒｉ网（Ｐｒ／Ｔ网）描述和验证。 |
| 关 键 词： | 自动重发请求 谓词／变迁网 描述／验证 |
| 本文献已被 CNKI 维普 等数据库收录！ | |