A Formal Model for Programming Wireless Sensor Networks
<|reference_start|>A Formal Model for Programming Wireless Sensor Networks: In this paper we present new developments in the expressiveness and in the theory of a Calculus for Sensor Networks (CSN). We combine a network layer of sensor devices with a local object model to describe sensor devices with state. The resulting calculus is quite small and yet very expressive. We also present a type system and a type invariance result for the calculus. These results provide the fundamental framework for the development of programming languages and run-time environments.<|reference_end|>
@article{lopes2007a,
    title={A Formal Model for Programming Wireless Sensor Networks},
    author={Luis Lopes, Francisco Martins, Miguel S. Silva, Joao Barros},
    journal={arXiv preprint arXiv:cs/0702042},
    year={2007},
    archivePrefix={arXiv},
    eprint={cs/0702042},
    primaryClass={cs.DC cs.PL}
}