OSPF Algebraic Formal Modelling using ACP - A Formal Description on OSPF Routing Protocol.
Pedro Juan RoigSalvador AlcarazKatja GillyCarlos JuizPublished in: ICETE (1) (2018)
Keyphrases
- routing protocol
- network topology
- wireless sensor networks
- ad hoc networks
- data transmission
- mobile ad hoc networks
- routing algorithm
- formal specification
- energy consumption
- energy aware
- energy efficiency
- sensor networks
- energy efficient
- multi hop
- network layer
- switched networks
- end to end delay
- routing scheme
- routing overhead
- intermediate nodes
- routing table
- biological inspired
- secure routing
- network design
- wireless mesh networks
- wireless ad hoc networks
- mobile nodes
- data sets
- social networks