activity
20132020
most citedA Process Algebra for Wireless Mesh Networks

77 citations · 242 across the 10 of their papers we have counts for

collaborators
Showing 2013 · cs.NIShow all

1 paper · 2 filters

cs.NI2013★ 45 cited

A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV

Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3

We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) protocols. It combines…