Simulation and visualization of different (epidemic) algorithms to efficiently propagate updates in distributed systems, such as replicated databases, with weak consistency constraints.