Optimal propagation-based protocols implementing causal memories