传感器网络规划的过程演算方法

2007 International Conference on Sensor Technologies and Applications (SENSORCOMM 2007) Pub Date : 2007-10-14 DOI:10.1109/SENSORCOMM.2007.12

L. Lopes, F. Martins, Miguel S. Silva, Joao Barros

{"title":"传感器网络规划的过程演算方法","authors":"L. Lopes, F. Martins, Miguel S. Silva, Joao Barros","doi":"10.1109/SENSORCOMM.2007.12","DOIUrl":null,"url":null,"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.","PeriodicalId":161788,"journal":{"name":"2007 International Conference on Sensor Technologies and Applications (SENSORCOMM 2007)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"A Process Calculus Approach to Sensor Network Programming\",\"authors\":\"L. Lopes, F. Martins, Miguel S. Silva, Joao Barros\",\"doi\":\"10.1109/SENSORCOMM.2007.12\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":161788,\"journal\":{\"name\":\"2007 International Conference on Sensor Technologies and Applications (SENSORCOMM 2007)\",\"volume\":\"57 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-10-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2007 International Conference on Sensor Technologies and Applications (SENSORCOMM 2007)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SENSORCOMM.2007.12\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 International Conference on Sensor Technologies and Applications (SENSORCOMM 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SENSORCOMM.2007.12","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 11

摘要

我们提出了一个过程演算模型的通信和计算方面的传感器网络的应用。微积分的重点是为传感器网络编程提供一组基本的原语，这些原语支持代码部署、通信和本地处理，并提供了一种非常有表现力的核心语言。微积分及其相关理论为验证传感器网络应用和协议的鲁棒性提供了工具。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Process Calculus Approach to Sensor Network Programming

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 International Conference on Sensor Technologies and Applications (SENSORCOMM 2007)

自引率

0.00%

发文量