A predicate-based approach to dynamic protocol update in group communication | IEEE Conference Publication | IEEE Xplore