Consensus and Interactive Consistency in Synchronous Systems Prone to Process Crash Failures

  • Michel Raynal


This first chapter on agreement in synchronous systems focuses on the consensus and interactive consistency (also called vector consensus) agreement abstractions. It first defines these abstractions, and presents algorithms that build them in the presence of any number of process crashes in the system model CSMPn,t\([\emptyset]\).


Agreement Binary vs multivalued Atomic crash, Atomic round Consensus Convergence Hamming distance Interactive consistency Lower bound Process crash failure Round-based algorithm Uniformity Valence Vector consensus Synchronous system 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  • Michel Raynal
    • 1
  1. 1.IRISA-ISTIC Université de Rennes 1Institut Universitaire de FranceRennesFrance

Personalised recommendations