The advent growth of wireless networks and their applications in different fields has been
more prominent in the previous few years and specifically mobile ad-hoc networks …

Study towards wireless adhoc network dates two decades back with various researchers
evolving up with new solutions towards addressing its problems. Irrespective of various …

In this paper, we have described the research carried out in formal modeling of distributed
networks in a process algebraic framework. The extended version of asynchronous …