Issue No.04 - April (2001 vol.27)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.917522
<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>
Group communication, view synchrony, partition-awareness, asynchronous systems, fault tolerance.
Renzo Davoli, Özalp Babaoglu, "Group Communication in Partitionable Systems: Specification and Algorithms", IEEE Transactions on Software Engineering, vol.27, no. 4, pp. 308-336, April 2001, doi:10.1109/32.917522