• DocumentCode
    262140
  • Title

    Expressing BBUFs Lookup Using the π-Calculus

  • Author

    Ciobanu, Gabriel ; Cojocar, Dan

  • Author_Institution
    Inst. of Comput. Sci., Iasi, Romania
  • fYear
    2014
  • fDate
    22-25 Sept. 2014
  • Firstpage
    511
  • Lastpage
    518
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/SYNASC.2014.74
  • Filename
    7034724
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=262140