16 citations · 20 across the 4 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Mechanizing a Process Algebra for Network Protocols
Timothy Bourke, Robert J. van Glabbeek, Peter Höfner
This paper presents the mechanization of a process algebra for Mobile Ad hoc Networks and Wireless Mesh Networks, and the development of a compositional framework for proving invar…
cs.NI2015★ 16 cited
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…