A Calculus for Sensor Networks

Simple item page
dc.creatorSilva, Miguel S.
dc.creatorMartins, Francisco
dc.creatorLopes, Luis
dc.creatorBarros, Joao
dc.date2006-12-19
dc.date.accessioned2026-07-07T07:35:54Z
dc.date.available2026-07-07T07:35:54Z
dc.descriptionWe consider the problem of providing a rigorous model for programming wireless sensor networks. Assuming that collisions, packet losses, and errors are dealt with at the lower layers of the protocol stack, we propose a Calculus for Sensor Networks (CSN) that captures the main abstractions for programming applications for this class of devices. Besides providing the syntax and semantics for the calculus, we show its expressiveness by providing implementations for several examples of typical operations on sensor networks. Also included is a detailed discussion of possible extensions to CSN that enable the modeling of other important features of these networks such as sensor state, sampling strategies, and network security.
dc.description24 pages, 1 figure, submitted for publication
dc.identifierhttps://arxiv.org/abs/cs/0612093
dc.identifierhttp://arxiv.org/abs/cs/0612093
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/120252
dc.subjectDistributed, Parallel, and Cluster Computing
dc.subjectProgramming Languages
dc.titleA Calculus for Sensor Networks
dc.typetext

Files

Collections

arXiv