TY  - JOUR
AU  - Roig, Pedro Juan
AU  - Alcaraz, Salvador
AU  - Gilly, Katja
AU  - Juiz, Carlos
PY  - 2018/08/20
Y2  - 2025/01/01
TI  - Study on OSPF Algebraic Formal Modelling Using ACP
JF  - Elektronika ir Elektrotechnika
JA  - ELEKTRON ELEKTROTECH
VL  - 24
IS  - 4
SE  - 
DO  - 10.5755/j01.eie.24.4.21484
UR  - https://eejournal.ktu.lt/index.php/elt/article/view/21484
SP  - 77-83
AB  - <p>OSPF is a commonly used link state routing protocol in order to interconnect network devices inside an Autonomous System. This paper focuses on achieving a detailed modelling for OSPF by performing manual algebraic derivations according to Algebra of Communicating Processes (ACP) axioms. The aim of this detailed model is to get a realistic approach of OSPF dynamics by applying the timers involved and by describing the full Link State Advertisement (LSA) exchange process.</p><p>DOI: <a href="http://dx.doi.org/10.5755/j01.eie.24.4.21484">http://dx.doi.org/10.5755/j01.eie.24.4.21484</a></p>
ER  -