Assume that, in protocol FT-CompleteElect, an entity x ceases to be candidate as a result of a
Question:
Assume that, in protocol FT-CompleteElect, an entity x ceases to be candidate as a result of a message originated by candidate y. Prove that, at any time after the time this message is processed by x, either the stage of y is greater than the stage of x or x and y are in the same stage but id(x) < id(y).
Fantastic news! We've Found the answer you've been seeking!
Step by Step Answer:
Related Book For
Design And Analysis Of Distributed Algorithms
ISBN: 9780471719977
1st Edition
Authors: Nicola Santoro
Question Posted: