A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV.
Ansgar FehnkerRob J. van GlabbeekPeter HöfnerAnnabelle McIverMarius PortmannWee Lum TanPublished in: CoRR (2013)
Keyphrases
- wireless mesh networks
- process algebra
- ad hoc networks
- model checking
- routing protocol
- end to end delay
- formal specification
- concurrent systems
- wireless networks
- temporal logic
- asynchronous circuits
- channel assignment
- routing algorithm
- network topology
- formal methods
- web services composition
- multi hop
- quality of service
- end to end
- mesh network
- mobile ad hoc networks
- peer to peer
- communication protocols
- multi channel
- petri net
- mobile nodes
- mobile networks
- wireless sensor networks
- data transmission
- distributed systems
- sensor networks
- energy consumption
- qos requirements
- key management
- cellular networks
- wifi