DocumentCode
2304617
Title
A Process Calculus Approach to Sensor Network Programming
Author
Lopes, Luís ; Martins, Francisco ; Silva, Miguel S. ; Barros, Jo Ao
Author_Institution
Univ. do Porto, Porto
fYear
2007
fDate
14-20 Oct. 2007
Firstpage
451
Lastpage
456
Abstract
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.
Keywords
high level languages; logic programming; process algebra; wireless sensor networks; code deployment; core communication; core-language; local processing; process calculus; sensor network programming; Calculus; Computer languages; Computer networks; Operating systems; Robustness; Runtime; Sensor systems; Sensor systems and applications; Wireless application protocol; Wireless sensor networks;
fLanguage
English
Publisher
ieee
Conference_Titel
Sensor Technologies and Applications, 2007. SensorComm 2007. International Conference on
Conference_Location
Valencia
Print_ISBN
978-0-7695-2988-2
Type
conf
DOI
10.1109/SENSORCOMM.2007.4394962
Filename
4394962
Link To Document