stop—wait协议相关硕士博士期刊学术论文

随着计算机网络协议的广泛度和复杂度的增加，协议的形式化工作显得越来越重要。Petri网与其他形式化建模技术相比，具有特别的优越性，......