.png){kind=logo}
Please use this identifier to cite or link to this item:
https://hdl.handle.net/11000/35336Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Roig, Pedro Juan | - |
| dc.contributor.author | Alcaraz, Salvador | - |
| dc.contributor.author | Gilly, Katja | - |
| dc.contributor.author | Juiz, Carlos | - |
| dc.contributor.other | Departamentos de la UMH::Ingeniería de Computadores | es_ES |
| dc.date.accessioned | 2025-01-26T15:53:02Z | - |
| dc.date.available | 2025-01-26T15:53:02Z | - |
| dc.date.created | 2020 | - |
| dc.identifier.citation | Elektronika ir Elektrotechnika | es_ES |
| dc.identifier.issn | 2029-5731 | - |
| dc.identifier.issn | 1392-1215 | - |
| dc.identifier.uri | https://hdl.handle.net/11000/35336 | - |
| dc.description.abstract | 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. | es_ES |
| dc.format | application/pdf | es_ES |
| dc.format.extent | 7 | es_ES |
| dc.language.iso | eng | es_ES |
| dc.publisher | Kauno Technologijos Universitetas | es_ES |
| dc.relation.ispartofseries | 24 | es_ES |
| dc.relation.ispartofseries | 4 | es_ES |
| dc.rights | info:eu-repo/semantics/openAccess | es_ES |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.subject | ACP | es_ES |
| dc.subject | Formal protocol specification | es_ES |
| dc.subject | Networking | es_ES |
| dc.subject | OSPF | es_ES |
| dc.subject.other | CDU::0 - Generalidades.::04 - Ciencia y tecnología de los ordenadores. Informática. | es_ES |
| dc.title | Study on OSPF Algebraic Formal Modelling Using ACP | es_ES |
| dc.type | info:eu-repo/semantics/article | es_ES |
| dc.relation.publisherversion | https://doi.org/10.5755/j01.eie.24.4.21484 | es_ES |
View/Open:
Study on OSPF Algebraic Formal Modelling Using ACP.pdf
248,53 kB
Adobe PDF
Share:
