Title: Design and implementation of a group membership protocol