A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract).

Emile Bres, Rob J. van Glabbeek, Peter Hfner

Browse the full ESOP paper archive.