15 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.NI2020★ 2 cited
Formal Models of the OSPF Routing Protocol
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…
cs.LO2015★ 15 cited
Progress, Fairness and Justness in Process Algebra
Rob van Glabbeek, Peter Höfner
To prove liveness properties of concurrent systems, it is often necessary to postulate progress, fairness and justness properties. This paper investigates how the necessary progres…