From set membership to group membership: a separation of concerns


We revisit the well-known group membership problem and show how it can be considered a special case of a simple problem, the set membership problem. In the set membership problem, processes maintain a set whose elements are drawn from an arbitrary universe: They can request the addition or removal of elements to/from that set, and they agree on the current value of the set. Group membership corresponds to the special case where the elements of the set happen to be processes. We exploit this new way of looking at group membership to give a simple and succinct specification of this problem and to outline a simple implementation approach based on the state machine paradigm. This treatment of group membership separates several issues that are often mixed in existing specifications and/or implementations of group membership. We believe that this separation of concerns greatly simplifies the understanding of this problem.

DOI: 10.1109/TDSC.2006.13

Extracted Key Phrases


Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Schiper2006FromSM, title={From set membership to group membership: a separation of concerns}, author={Andr{\'e} Schiper and Sam Toueg}, journal={IEEE Transactions on Dependable and Secure Computing}, year={2006}, volume={3}, pages={2-12} }