Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms
2008 (English)In: Autonomous Systems – Self-Organization, Management, and Control / [ed] B. Mahr, H. Sheng, Springer Science+Business Media B.V. , 2008, 97-104 p.Conference paper (Refereed)
Peer-to-Peer (p2p) algorithms are nowadays standard. However, their specification and verification is not. Currently, the properties that such algorithms should satisfy are stated informally, and the algorithms themselves are often given as pseudo-code. Because of this, no satisfying methods for modeling, specifying and/or verifying these algorithms have yet been developed. We therefore propose a distributed stochastic process calculus to model such algorithms and to formally state and prove relevant functional and performance properties.
Place, publisher, year, edition, pages
Springer Science+Business Media B.V. , 2008. 97-104 p.
IdentifiersURN: urn:nbn:se:uu:diva-161492DOI: 10.1007/978-1-4020-8889-6_11OAI: oai:DiVA.org:uu-161492DiVA: diva2:456311
Autonomous Systems – Self-Organization, Management, and Control 2007