Algebraic formal modelling of EIGRP using ACP

作者

Pedro Juan Roig¹ , Salvador Alcaraz¹ , Katja Gilly¹ , Cristina Bernad¹ , Carlos Juiz²

1. Miguel Hernández University, Spain
2. University of the Balearic Islands, Spain

会议/活动

V Jornadas Doctorales de la Universidad de Murcia, May 2019 (虚拟会议)

海报摘要

EIGRP is one of the fastest-converging routing protocols used in autonomous systems within the networking domain. The poster presents an introduction with the most significant features of EIGRP, followed by an algebraic model for EIGRP where time is not taken into account, which is later complemented with the corresponding timers being applied to each action.

关键词

ACP, EIGRP, Formal algebraic specification, Networking

研究领域

Computer and Information Science , Mathematics

参考文献

1. Roig, P.J.; Alcaraz, S.; Gilly, K.; Juiz, C. Algebraic Formal Modelling for EIGRP Using ACP. In Proceedings of the 8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 29-31 July 2018, Porto (Portugal).

基金

暂无数据

补充材料

暂无数据

附加信息

利益冲突

No competing interests were disclosed.

数据可用性声明

Data sharing not applicable to this poster as no datasets were generated or analyzed during the current study.

知识共享许可协议

Copyright © 2023 Roig et al. This is an open access work distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.