Broadcast Psi-calculi with an Application to Wireless Protocols.
Johannes BorgströmShuqin HuangMagnus JohanssonPalle RaabjergBjörn VictorJohannes Åman PohjolaJoachim ParrowPublished in: SEFM (2011)
Keyphrases
- data broadcasting
- wireless broadcast
- data broadcast
- mobile clients
- wireless networks
- wired networks
- medium access control
- data dissemination
- wireless communication
- wireless medium
- data placement
- mobile devices
- mobile wireless
- medium access
- communication protocols
- multi channel
- topic maps
- wireless channels
- cellular networks
- wifi
- data transmission
- low bandwidth
- digital television
- mobile computing
- transaction processing
- mobile ad hoc networks
- mobile environments
- remote control
- multi hop
- wireless technologies
- news video