优化链路状态路由协议的形式化
Formalising the Optimised Link State Routing Protocol
摘要：
传统上，路由协议规范是用简单的英语编写的。这往往会产生歧义，不准确，甚至矛盾。形式化方法技术，如进程代数，避免了这些问题，从而导致更精确和可验证的协议描述。在本文中，我们使用的时间进程代数T-AWN建模的优化链路状态路由协议（OLSR）版本2。
英文摘要：
Routing protocol specifications are traditionally written in plain English. Often this yields ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as process algebras, avoid these problems, thus leading to more precise and verifiable descriptions of protocols. In this paper we use the timed process algebra T-AWN for modelling the Optimised Link State Routing protocol (OLSR) version 2.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
