Abstract
A new, simple formal specification is presented for a partitionable view-oriented group communication service. The specification consists of a state machine to express safety requirements and a timed trace property to express performance and fault-tolerance requirements. The specification is used to construct a totally-ordered-broadcast application, using an algorithm (based on algorithms of Amir, Dolev, Keidar and others) that reconciles information derived from different views of the group. Correctness of the resulting application is proved, and its performance and fault-tolerance analyzed. The specification has a simple implementation, based on a group membership algorithm of Cristian and Schmuck.
| Original language | English (US) |
|---|---|
| Pages | 53-62 |
| Number of pages | 10 |
| DOIs | |
| State | Published - 1997 |
| Externally published | Yes |
| Event | Proceedings of the 1997 16th Annual ACM Symposium on Principles of Distributed Computing - Santa Barbara, CA, USA Duration: Aug 21 1997 → Aug 24 1997 |
Conference
| Conference | Proceedings of the 1997 16th Annual ACM Symposium on Principles of Distributed Computing |
|---|---|
| City | Santa Barbara, CA, USA |
| Period | 8/21/97 → 8/24/97 |
ASJC Scopus subject areas
- Software
- Hardware and Architecture
- Computer Networks and Communications