The Community for Technology Leaders
Green Image
ABSTRACT
<p><b>Abstract</b>—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.</p>
INDEX TERMS
Group communication, view synchrony, partition-awareness, asynchronous systems, fault tolerance.
CITATION

R. Davoli, A. Montresor and &. Babaoglu, "Group Communication in Partitionable Systems: Specification and Algorithms," in IEEE Transactions on Software Engineering, vol. 27, no. , pp. 308-336, 2001.
doi:10.1109/32.917522
90 ms
(Ver 3.3 (11022016))