An Abstract Model of Routing in Mobile Ad Hoc Networks