A process calculus for mobile ad hoc networks (2010)

by A Singh, C R Ramakrishnan, S A Smolka
Venue:Sci. Comput. Program