Rütti, OSchiper, A2008-02-192008-02-192008-02-19200810.1109/IPDPS.2008.4536238https://infoscience.epfl.ch/handle/20.500.14299/18828WOS:000258501400129In this paper we study dynamic protocol updates (DPU), which consist in replacing, without interruption, a given protocol during execution. We focus especially on group communication protocols. The paper proposes a methodology to conveniently describe which protocols are correctly replaced by a given DPU algorithm. More precisely, our methodology characterizes DPU algorithms by a set of inference rules. To validate our approach, we illustrate our methodology with a new DPU algorithm.Dynamic Protocol ReplacementGroup Communication ProtocolsAlgorithms for Dynamic Protocol Updatetext::conference output::conference proceedings::conference paper