Package clientstate provides means to interact with a representation of the state maintained by the replica for each client instance.

Package messagelog provides a storage for an ordered set of messages.

Package requestlist provides functionality to maintain a set of Request messages.

Package timer provides abstract interfaces to represent an event of elapsed time.

Package viewstate allows to manage current active view number.