A Formal Model for Programming Wireless Sensor Networks

Simple item page
dc.creatorLopes, Luis
dc.creatorMartins, Francisco
dc.creatorSilva, Miguel S.
dc.creatorBarros, Joao
dc.date2007-02-07
dc.date.accessioned2026-07-07T07:45:15Z
dc.date.available2026-07-07T07:45:15Z
dc.descriptionIn 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.
dc.description14 pages, 0 figures, Submitted for Publication
dc.identifierhttps://arxiv.org/abs/cs/0702042
dc.identifierhttp://arxiv.org/abs/cs/0702042
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/123472
dc.subjectDistributed, Parallel, and Cluster Computing
dc.subjectProgramming Languages
dc.titleA Formal Model for Programming Wireless Sensor Networks
dc.typetext

Files

Collections

arXiv