uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards the Application of Process Calculi in the Domain of Peer-to-Peer Algorithms
EECS, Technical University of Berlin.
EECS, Technical University of Berlin.
EECS, Technical University of Berlin.
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, Published paper (Refereed)
Abstract [en]

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.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-161492DOI: 10.1007/978-1-4020-8889-6_11OAI: oai:DiVA.org:uu-161492DiVA: diva2:456311
Conference
Autonomous Systems – Self-Organization, Management, and Control 2007
Available from: 2011-11-14 Created: 2011-11-14

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Borgström, Johannes

Search in DiVA

By author/editor
Borgström, Johannes
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 383 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf