A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks.

Lucia Gallina, Andrea Marin, Sabina Rossi, Tingting Han, Marta Z. Kwiatkowska

Browse the full MSWIM paper archive.