A process calculus approach to sensor network programming

• Type: Article in International Conference Proceedings Book
• Date: 2007

Authors

Lopes, L (Author) FCUP; Martins, F (Author) Other; Silva, MS (Author) Other; Barros, J (Author) FCUP

Conference proceedings International

Title: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings

Pages: 451-456

2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007

Valencia, 14 October 2007 through 20 October 2007

Indexing

ISI Web of Knowledge

Scopus - 6 Citations

Other information

Authenticus ID: P-007-MGK

DOI: 10.1109/sensorcomm.2007.4394962

Abstract (EN): We present a process calculus that models the communication and computational aspects of sensor network applications. The calculus focuses on a basic set of primitives for programming sensor networks that support code deployment, communication and local processing, and provides a very expressive core-language. The calculus and its associated theory provide the tools to verify the robustness of sensor network applications and protocols. © 2007 IEEE.

Language: English

Type (Professor's evaluation): Scientific