A process calculus for energy-aware multicast communications of mobile ad hoc networks.

Lucia Gallina Sabina Rossi

Published in: Wirel. Commun. Mob. Comput. (2013)

Keyphrases

energy aware
routing protocol
mobile ad hoc networks
routing algorithm
end to end
ad hoc networks
wireless sensor networks
distributed systems
wireless networks
multipath
formal methods
high performance computing