2 citations · 2 across the 1 of their papers we have counts for
1 paper
Jack Drury, Peter Höfner, Weiyou Wang
We present three formal models of the OSPF routing protocol. The first two are formalised in the timed process algebra T-AWN, which is not only tailored to routing protocols, but a…