使用π-微积分表达bbuf查找

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2014-09-01 DOI:10.1109/SYNASC.2014.74

Gabriel Ciobanu, Dan Cojocar

{"title":"使用π-微积分表达bbuf查找","authors":"Gabriel Ciobanu, Dan Cojocar","doi":"10.1109/SYNASC.2014.74","DOIUrl":null,"url":null,"abstract":"In this paper we express Babes Bolyai University File System lookup mechanism by using π-calculus. We describe the lookup process in a peer-to-peer decentralized system, how a request message is forwarded from a client to a system node, and how the response is replied. The formally specified protocol is verified by using the Mobility Workbench model-checker.","PeriodicalId":150575,"journal":{"name":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Expressing BBUFs Lookup Using the &#x3C0;-Calculus\",\"authors\":\"Gabriel Ciobanu, Dan Cojocar\",\"doi\":\"10.1109/SYNASC.2014.74\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we express Babes Bolyai University File System lookup mechanism by using π-calculus. We describe the lookup process in a peer-to-peer decentralized system, how a request message is forwarded from a client to a system node, and how the response is replied. The formally specified protocol is verified by using the Mobility Workbench model-checker.\",\"PeriodicalId\":150575,\"journal\":{\"name\":\"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SYNASC.2014.74\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SYNASC.2014.74","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文用π微积分表达了博雅大学档案系统的查找机制。我们描述了点对点分散系统中的查找过程，请求消息如何从客户机转发到系统节点，以及如何响应。使用Mobility Workbench模型检查器验证正式指定的协议。

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

查看原文本刊更多论文

Expressing BBUFs Lookup Using the π-Calculus

In this paper we express Babes Bolyai University File System lookup mechanism by using π-calculus. We describe the lookup process in a peer-to-peer decentralized system, how a request message is forwarded from a client to a system node, and how the response is replied. The formally specified protocol is verified by using the Mobility Workbench model-checker.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

自引率

0.00%

发文量