Title :
Expressing BBUFs Lookup Using the π-Calculus
Author :
Ciobanu, Gabriel ; Cojocar, Dan
Author_Institution :
Inst. of Comput. Sci., Iasi, Romania
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.
Keywords :
file organisation; formal verification; multivariable systems; peer-to-peer computing; pi calculus; table lookup; π-calculus; BBUFs lookup; Babes Bolyai University File System lookup mechanism; Mobility Workbench model-checker; formally specified protocol; peer-to-peer decentralized system; Algebra; Calculus; Educational institutions; Mobile communication; Peer-to-peer computing; Protocols; Unicast; formal methods; formal verification; peer-to-peer lookup; software engineering;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4799-8447-3
DOI :
10.1109/SYNASC.2014.74
