We present a model of distributed systems intended for the description of group membership services. The model incorporates a generalization of failure detectors [9], which we call oracles. Oracles provide information about processes that may be included into or excluded from the group. Based on this model, we provide a specification of a group membership service in asynchronous systems augmented with oracles. We also present an algorithm that implements such a service provided that the information supplied by the oracles is of sufficient quality.
CITATION STYLE
Lin, K., & Hadzilacos, V. (1999). Asynchronous group membership with oracles. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1693, pp. 79–94). Springer Verlag. https://doi.org/10.1007/3-540-48169-9_6
Mendeley helps you to discover research relevant for your work.