Group communication in partitionable systems: specification and algorithms

O. Babaoglu, R. Davoli, A. Montresor
2001 IEEE Transactions on Software Engineering  
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
more » ... partition-aware applications; and it is implementable in practical asynchronous distributed systems where certain stability conditions hold.
doi:10.1109/32.917522 fatcat:3tzy33esnrczvb43nftkrgx4ha