A Formal Model for Programming Wireless Sensor Networks

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
14 pages, 0 figures, Submitted for Publication

Keywords

Distributed, Parallel, and Cluster Computing, Programming Languages

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/123472

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0702042
 http://arxiv.org/abs/cs/0702042

Collections

arXiv