A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective | IEEE Conference Publication | IEEE Xplore