A Formal Model of Anonymous Systems

Details A Formal Model of Anonymous Systems A Formal Model of Anonymous Systems

2011-05-02

arxiv.org/abs/1105.0296v1

Computer Science

Distributed, Parallel, and Cluster Computing

15 pages

Scientific paper

We put forward a formal model of anonymous systems. And we concentrate on the anonymous failure detectors in our model. In particular, we give three examples of anonymous failure detectors and show that they can be used to solve the consensus problem and that they are equivalent to their classic counterparts. Moreover, we show some relationship among them and provide a simple classification of anonymous failure detectors.

Affiliated with

Also associated with

No associations

Rating

A Formal Model of Anonymous Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Formal Model of Anonymous Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Formal Model of Anonymous Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-426825