Study on OSPF Algebraic Formal Modelling Using ACP. ELEKTRON ELEKTROTECH 2018, 24 (4), 77-83. https://doi.org/10.5755/j01.eie.24.4.21484.