On the propagation of updates in distributed replicated systems | IEEE Conference Publication | IEEE Xplore