A Formal Model for Programming Wireless Sensor Networks. Available from http://arxiv.org, cs/0702042 (2007)
by
Luís Lopes
,
Francisco Martins
,
Miguel S. Silva
,
João Barros
| Citations: | 1 - 1 self |
BibTeX
@MISC{Lopes07aformal,
author = {Luís Lopes and Francisco Martins and Miguel S. Silva and João Barros},
title = {A Formal Model for Programming Wireless Sensor Networks. Available from http://arxiv.org, cs/0702042},
year = {2007}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Introduction. While there is considerable research activity on programming tools and environments for sensor networks (cf. [2]), we believe that these efforts fall short of providing a fundamental formal model that captures their computational and communication properties. Such a model can serve as the basis for the development of robust and provably correct implementations of
