Equational Reasonings in Wireless Network Gossip Protocols.
Ruggero LanotteMassimo MerroSimone TiniPublished in: CoRR (2017)
Keyphrases
- wireless networks
- medium access control
- wireless communication
- ad hoc networks
- wireless networking
- base station
- mobile computing
- low bandwidth
- cellular networks
- multi hop
- wifi
- communication protocol
- link layer
- security protocols
- access points
- mobile networks
- theorem proving
- wireless technologies
- mobile communications
- multimedia services
- computer simulation
- communication links
- wireless local area network
- wireless sensor networks
- wireless mesh networks
- cross layer
- mobile phone