Lamport's distributed mutual exclusion algorithm

ver the past several decades, researchers have suspected and confirmed various links between breakfast consumption and adolescent… (More)

Fault Tolerance Techniques enable systems to perform tasks in the presence of faults. A checkpoint is a local state of a process… (More)

Checkpoint is defined as a designated place in a program at which normal processing is interrupted specifically to preserve the… (More)

This paper presents a polynomial protocol for reaching Byzantine agreement in t + 1 rounds whenever n > 3t, where n is the number… (More)

There has been much interest in decision procedures for testing satisfiability (or validity) of formulae in various systems of… (More)

Proofsystems for proving partial correctness of distributed processes which communicate through message-passing are discussed… (More)