Many of today's distributed systems are highly dynamic, and processes execute in different types of devices, some of them mobile and connected via wireless networks. As a consequence, communication can fail, messages can get lost, and the system can even partition. A number of agreement algorithms for such dynamic systems with mobile processes have been proposed. However, each proposal is based on specific system assumptions, which makes it difficult to compare them.
展开▼