A Process Calculus Approach to Sensor Network Programming

Authors:
Luis Lopes;Francisco Martins;Miguel S. Silva;Joao Barros
Affiliations:
-;-;-;-
Venue:
SENSORCOMM '07 Proceedings of the 2007 International Conference on Sensor Technologies and Applications
Year:
2007

Citing 0
Cited 2

Inquiry and Introspection for Non-deterministic Queries in Mobile Networks

FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Internet of things: a process calculus approach

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a process calculus that models the commu- nication and computational aspects of sensor network ap- plications. The calculus focuses on a basic set of primitives for programming sensor networks that support code deploy- ment, communication and local processing, and provides a very expressive core-language. The calculus and its asso- ciated theory provide the tools to verify the robustness of sensor network applications and protocols.