Group communication in partitionable systems: Specification and algorithms (1998)
Cached
Download Links
- [dit.unitn.it]
- [dit.unitn.it]
- [ftp.cs.unibo.it]
- [www.cs.unibo.it]
- DBLP
Other Repositories/Bibliography
| Venue: | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING |
| Citations: | 51 - 9 self |
BibTeX
@ARTICLE{Babaoglu98groupcommunication,
author = {Özalp Babaoglu and Renzo Davoli and Alberto Montresor},
title = {Group communication in partitionable systems: Specification and algorithms},
journal = {IEEE TRANSACTIONS ON SOFTWARE ENGINEERING},
year = {1998},
volume = {27},
pages = {308--336}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We give a formal specification and an implementation for a partitionable group communication service in asynchronous distributed systems. Our specification is motivated by the requirements for building “partition-aware ” applications that can continue operating without blocking in multiple concurrent partitions and reconfigure themselves dynamically when partitions merge. The specified service guarantees liveness and excludes trivial solutions; it constitutes a useful basis for building realistic partition-aware applications; and it is implementable in practical asynchronous distributed systems where certain stability conditions hold.
