The view_id structure describes the logical view id. The basic Ensemble supported abstraction is a group, where members can join and leave dynamically. Each membership change is also called a view change, because it changes the composition of the group. Each view has a view_id which is composed of the group leader, and the logical time. A view_id is unique, and there is a partial order on view_id's.