Sciweavers

Share
6 search results - page 2 / 2
» A Comparison of On-Demand and Table Driven Routing for Ad-Ho...
Sort
View
COORDINATION
2008
Springer
11 years 3 months ago
A Process Calculus for Mobile Ad Hoc Networks
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
books