A Formal Model for Programming Wireless Sensor Networks

Details A Formal Model for Programming Wireless Sensor Networks A Formal Model for Programming Wireless Sensor Networks

2007-02-07

arxiv.org/abs/cs/0702042v1

Computer Science

Distributed, Parallel, and Cluster Computing

14 pages, 0 figures, Submitted for Publication

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A Formal Model for Programming Wireless Sensor Networks does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Formal Model for Programming Wireless Sensor Networks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Formal Model for Programming Wireless Sensor Networks will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-218445