Defines all needed servers for fault-tolerance mecanism, and a global server that implements all needed behaviors.