A Provably-Correct Protocol for Seamless Communication with Mobile, Multi-Homed Hosts
Matvey AryeErik NordströmRobert KieferJennifer RexfordMichael J. FreedmanPublished in: CoRR (2012)
Keyphrases
- provably correct
- wireless medium
- communication protocol
- communication protocols
- communication technologies
- mobile communication
- formal methods
- tcp ip
- vehicular ad hoc networks
- ad hoc networking
- wireless link
- mobile devices
- group communication
- multi party
- situation calculus
- interprocess communication
- mobile phone
- communication systems
- communication networks
- energy consumption
- lightweight
- messages exchanged
- text messaging
- wireless technologies
- mobile payment
- mobile networks
- computing environments
- mobile learning
- software development