A Formal Model for Programming Wireless Sensor Networks
Distributed, Parallel, and Cluster Computing
2007-05-23 v1 Programming Languages
Abstract
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.
Cite
@article{arxiv.cs/0702042,
title = {A Formal Model for Programming Wireless Sensor Networks},
author = {Luis Lopes and Francisco Martins and Miguel S. Silva and Joao Barros},
journal= {arXiv preprint arXiv:cs/0702042},
year = {2007}
}
Comments
14 pages, 0 figures, Submitted for Publication