2007/02/07 by Luís Lopes, Luis Lopes, Lopes, Luis +7
Computer Science · Engineering · #Distributed #Energy Efficient Wireless Sensor Networks #FOS: Computer and information sciences #Formal Methods in Verification #Modular Robots and Swarm Intelligence #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC) #cs.DC #cs.PL
paper · pdf · doi:10.48550/arxiv.cs/0702042
14 pages, 0 figures, Submitted for Publication
arxiv created 2007/02/07 · openalex publication_date 2007/02/07 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.