Anu Singh C. R. Ramakrishnan Scott A. Smolka A Process Calculus for Mobile Ad Hoc Networks. 296-314 2008 COORDINATION http://dx.doi.org/10.1007/978-3-540-68265-3_19 conf/coordination/2008 db/conf/coordination/coordination2008.html#SinghRS08