A Process Calculus Approach to Sensor Network Programming
Luis M. B. Lopes, Francisco Martins, M.S. Silva, João Barros · International Conference on Sensor Technologies and Applications · 2007
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.