98 citations · 569 across the 35 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
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…
cs.LO2013★ 21 cited
On Characterising Distributability
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann
We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and prec…