GREP: Protocol and Proof of Loop-Free Operation
Henri Dubois-Ferri, Matthias Grossglauser, Martin Vetterli · 2003
GREP (Generalized Route Establishment Proto- col) is a routing protocol for ad hoc networks that is partic- ularly well suited to very mobile environments. In GREP, packets are routed through space and time, meaning that at each hop they advance either along their current route (thus advancing in space), or onto a fresher route (advanc- ing in time) to their destination. We give a full definition of the protocol and prove that it is loop-free.