15 citations · 17 across the 2 of their papers we have counts for
1 paper · 1 filter
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…