Package universal.leader

Class Summary
Leader  
LeaderCrashStopClient This is the implementation of the leader part of the algorithm in the client side.
LeaderCrashStopServer This is the implementation of the leader part of the algorithm in the server side.