Group Membership in a Synchronous Distributed System