Publication

A Predicate-Based Approach to Dynamic Protocol Update in Group Communication

André Schiper
2008
Conference Papers

Abstract

In 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.

Official source

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

A Predicate-Based Approach to Dynamic Protocol Update in Group Communication

Chat with Graph Search

On the Theory and Practice of Modern Secure Messaging

3D diffractive optics for linear interconnects and nonlinear processing

Hypergraph-Based Fast Distributed AC Power Flow Optimization