Replication-and-Synchronization Project to implement RPC server replication and crash synchronization