• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Building Reliable Peer-to-Peer Systems with Formal Methods

Lu Yan, Kaisa Sere, Nayyar Iqbal, Building Reliable Peer-to-Peer Systems with Formal Methods. In: Supplement of the International Conference on Dependable Systems and Networks (DSN 2004), 2004.

Abstract:

Peer-to-peer systems are characterized by a very large
number of autonomous computing nodes (the peers), which
pool together their resources and rely on each other for data
and service. In this way, they offer many benefits: adaptation,
self-organization, load-balancing, fault-tolerance, availability
through massive replication, and the ability to pool together
and harness large amounts of resource. Despite their many
strengths, however, most peer-to-peer environments today are
particularly unreliable to work in because the unreliable nature
of peers. This has been a great challenge to the widespread
acceptance and usage of peer-to-peer systems.

BibTeX entry:

@INPROCEEDINGS{inpYaSeIq04a,
  title = {Building Reliable Peer-to-Peer Systems with Formal Methods},
  booktitle = {Supplement of the International Conference on Dependable Systems and Networks (DSN 2004)},
  author = {Yan, Lu and Sere, Kaisa and Iqbal, Nayyar},
  year = {2004},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication