A Calculus for Sensor Networks - Miguel S. Silva; Francisco Martins; Luís M. B. Lopes; João Barros (CoRR, 2006)

A Formal Model for Programming Wireless Sensor Networks - Luís M. B. Lopes; Francisco Martins; Miguel S. Silva; João Barros (CoRR, 2007)