Algebraic modelling of an ad hoc network for mobile computing | IEEE Conference Publication | IEEE Xplore