A Process Algebra for Wireless Mesh Networks.

Ansgar Fehnker, Rob J. van Glabbeek, Peter Hfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

Browse the full ESOP paper archive.