Broadcast psi-calculi with an application to wireless protocols.
Johannes BorgströmShuqin HuangMagnus JohanssonPalle RaabjergBjörn VictorJohannes Åman PohjolaJoachim ParrowPublished in: Softw. Syst. Model. (2015)
Keyphrases
- data broadcasting
- wireless broadcast
- data broadcast
- mobile clients
- wireless networks
- wired networks
- wireless communication
- wireless medium
- data dissemination
- mobile devices
- medium access
- mobile ad hoc networks
- mobile wireless
- medium access control
- ad hoc networks
- data placement
- power consumption
- digital television
- mobile users
- wireless mesh networks
- security protocols
- multi party
- communication technologies
- topic maps
- communication protocols
- cellular networks
- multi hop
- multi channel