We present a process calculus for the analysis of Mobile Ad Hoc Networks (MANETs) and their protocols. Our calculus captures the ability of a MANET node to broadcast a message to any other node within its physical transmission range, and to move in and out of the transmission range of other nodes in the network. In order to reason about cost-effective ad hoc routing protocols, we also model unicast and multicast communications. We show how to use our calculus to prove some useful connectivity properties of MANETs.
8051 Microcontroller ,power supply,serial comm,lcd,
BE and B.Tech Engineering Students, Diploma Students
Fill the form to get more details of the project