Verifying replication on a distributed shared data space with time stamps