2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2021
Enabling Preserving Bisimulation Equivalence
Rob van Glabbeek, Peter Höfner, Weiyou Wang
Most fairness assumptions used for verifying liveness properties are criticised for being too strong or unrealistic. On the other hand, justness, arguably the minimal fairness assu…
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…