“…These results built a gap between group membership protocols that work in real systemsÐ-some of which have been around for many years, anticipating more theoretical resultsÐand the formal specifications that they satisfy. Examples of such real systems that run group membership protocols are Amoeba [33], [52], Isis [11], Transis [23], Totem [47], Horus [53], Relacs [5], and more recently Phoenix [40] and RAIN [12]. Researchers developing these systems are, of course, aware of the original impossibility result [28] and of its potential application to their membership protocols [17], but they also believe that their systems can work under assumptions that can easily be verified in practice.…”