A Process Calculus for Mobile Ad Hoc Networks.

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka

Browse the full Coordination paper archive.