Abstract:
Gives a formal specification and an implementation for a partitionable group communication service in asynchronous distributed systems. Our specification is motivated by ...View moreMetadata
Abstract:
Gives 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 can 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.
Published in: IEEE Transactions on Software Engineering ( Volume: 27, Issue: 4, April 2001)
DOI: 10.1109/32.917522