activity
20142018
most citedA mechanized proof of loop freedom of the (untimed) AODV routing protocol

16 citations · 20 across the 4 of their papers we have counts for

collaborators
Showing cs.LOShow 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.LO2014★ 3 cited

Showing invariance compositionally for 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…