A process calculus approach to sensor network programming

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2007

Autores

Lopes, L (Autor) FCUP; Martins, F (Autor) Outra; Silva, MS (Autor) Outra; Barros, J (Autor) FCUP

Ata de Conferência Internacional

Título: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings

Páginas: 451-456

2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007

Valencia, 14 October 2007 through 20 October 2007

Indexação

ISI Web of Knowledge

Scopus - 6 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica