Describir: Theoretical Aspects of Distributed Computing in Sensor Networks