The group membership service (GMS) layer maintains group membership for a certain group, joining new members, excluding left or crashed members, and installing new views. It is the main layer in JavaGroups that implements virtual synchrony [Bir96].