@article{Roig_Alcaraz_Gilly_Juiz_2018, title={Study on OSPF Algebraic Formal Modelling Using ACP}, volume={24}, url={https://eejournal.ktu.lt/index.php/elt/article/view/21484}, DOI={10.5755/j01.eie.24.4.21484}, abstractNote={<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>}, number={4}, journal={Elektronika ir Elektrotechnika}, author={Roig, Pedro Juan and Alcaraz, Salvador and Gilly, Katja and Juiz, Carlos}, year={2018}, month={Aug.}, pages={77-83} }