Sequential consistency kinda implemented. Used an independent thread to
propagate the changes. Coordinator uses a queue of operations to
propagate.