会议论文《基于CSP的网络协议描述与仿真》发表于第十六届全国网络与数据通信学术会议(NDCC2008)。该文采用CSP(通信顺序进程)理论对网络协议进行形式化描述,并通过仿真验证其正确性与有效性。研究为网络协议的设计与分析提供了新的方法,有助于提高协议的可靠性和可验证性。
文档为pdf格式,0.54MB,总共6页。
举报