Relational Characterisations of Paths
by Walter Guttmann and Peter Höfner
Peter Höfner
2020
2016
Kleene Algebras with Domain
by Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth and Tjark Weber
2014
Loop freedom of the (untimed) AODV routing protocol
by Timothy Bourke and Peter Höfner