process p[ i : 0…n-1 ]

const hmax , vmax

inp N : set { g / p[g] is a neighbor of p[i] } ,

up : array [N] of Boolean

var rtb : array [ 0….n-1] of N,

cost : array [0….n-1] of 0…n-1,

valid : array [0…n-1] of 0…vmax,

src , dst : 0…n-1,

h : 0….hmax , { # hops travelled }

x , y : N , {random neighbors}

flag : Boolean

par g : N

begin

true → src , h , dst := i , 0 , any ; RTMSG

 rcv data ( src , h , dst) from p[g] → RTMSG ; UPDRTB

 true → UPDRTB’

end