A Connectivity Model for Agreement in Dynamic Systems [chapter]

Carlos Gómez-Calzado, Arnaud Casteigts, Alberto Lafuente, Mikel Larrea
2015 Lecture Notes in Computer Science  
The consensus problem is a fundamental paradigm in distributed systems, because it captures the difficulty to solve other agreement problems. Many current systems evolve with time, e.g., due to node mobility, and consensus has been little studied in these systems so far. Specifically, it is not well established how to define an appropriate set of assumptions for consensus in dynamic distributed systems. This paper studies a hierarchy of three classes of time-varying graphs, and provides a
more » ... on for each class to the problem of Terminating Reliable Broadcast (TRB). The classes introduce increasingly stronger assumptions on timeliness, so that the trade-off between weakness versus implementability and efficiency can be analysed. Being TRB equivalent to consensus in synchronous systems, the paper extends this equivalence to dynamic systems.
doi:10.1007/978-3-662-48096-0_26 fatcat:jmciveziyjdoplc7h5fgr6aemu