41 citations · 226 across the 36 of their papers we have counts for
3 papers · 1 filter
Formalising the Optimised Link State Routing Protocol
Ryan Barry, Rob van Glabbeek, Peter Höfner
Routing protocol specifications are traditionally written in plain English. Often this yields ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as p…
A Process Algebra for Link Layer Protocols
Rob van Glabbeek, Peter Höfner, Michael Markl
We propose a process algebra for link layer protocols, featuring a unique mechanism for modelling frame collisions. We also formalise suitable liveness properties for link layer pr…
A mechanized proof of loop freedom of the (untimed) AODV routing protocol
Timothy Bourke, Robert J. van Glabbeek, Peter Höfner
The Ad hoc On-demand Distance Vector (AODV) routing protocol allows the nodes in a Mobile Ad hoc Network (MANET) or a Wireless Mesh Network (WMN) to know where to forward data pack…