"A predicate-based approach to dynamic protocol update in group communication."

Olivier Rütti, André Schiper (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics