Equational Reasonings in Wireless Network Gossip Protocols.
Ruggero LanotteMassimo MerroSimone TiniPublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- wireless networks
- medium access control
- wireless communication
- theorem proving
- wireless networking
- wifi
- mobile computing
- ad hoc networks
- low bandwidth
- base station
- wireless ad hoc networks
- access points
- mobile communications
- communication protocol
- cellular networks
- multi hop
- mobile networks
- multimedia services
- wireless local area network
- cross layer
- link layer
- overlay network
- network architecture
- communication links