Loading...
conference paper
A Predicate-Based Approach to Dynamic Protocol Update in Group Communication
2008
Proc. of IPDPS '08 (22nd International Parallel and Distributed Processing Symposium)
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.
Type
conference paper
Web of Science ID
WOS:000258501400129
Authors
Publication date
2008
Published in
Proc. of IPDPS '08 (22nd International Parallel and Distributed Processing Symposium)
Peer reviewed
REVIEWED
Written at
EPFL
EPFL units
Event name | Event place | Event date |
Miami, Florida USA | April 14-18, 2008 | |
Available on Infoscience
February 19, 2008
Use this identifier to reference this record