replication-based coordination implementation