53 Views
·
78 Downloads
·
☆☆☆☆☆ 0.0
Algebraic formal modelling of EIGRP using ACP
PUBLISHED April 25, 2023 (DOI: https://doi.org/10.54985/peeref.2304p4105787)
NOT PEER REVIEWED
-
Authors
-
Pedro Juan Roig1 , Salvador Alcaraz1 , Katja Gilly1 , Cristina Bernad1 , Carlos Juiz2
- Miguel Hernández University, Spain
- University of the Balearic Islands, Spain
-
Conference / event
- V Jornadas Doctorales de la Universidad de Murcia, May 2019 (Virtual)
-
Poster summary
- 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.
-
Keywords
- ACP, EIGRP, Formal algebraic specification, Networking
-
Research areas
- Computer and Information Science , Mathematics
-
References
-
- 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).
-
Funding
- No data provided
-
Supplemental files
- No data provided
-
Additional information
-
- Competing interests
- No competing interests were disclosed.
- Data availability statement
- Data sharing not applicable to this poster as no datasets were generated or analyzed during the current study.
- Creative Commons license
- 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.
Share
Rate
Cite
Roig, P., Alcaraz, S., Gilly, K., Bernad, C., Juiz, C. Algebraic formal modelling of EIGRP using ACP [not peer reviewed]. Peeref 2023 (poster).
Copy citation
For conference organizers
Utilize the Peeref poster repository to provide free poster publishing for your next event.
Download our convenient portal entry point and include it in your event page.
Get conference accessFind the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
SearchAdd your recorded webinar
Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.
Upload Now