Formal analysis of consensus protocols in asynchronous distributed systems

M. Atif

    Research output: Book/ReportReportAcademic

    57 Downloads (Pure)

    Abstract

    This paper presents a formal veriffication of two consensus protocols for distributed systems presented in [T. Deepak Chandra and S. Toueg, Unreliable failure detectors for reliable distributed systems, J. ACM, 1996]. These two protocols rely on two underlying failure detection protocols. We formalize an abstract model of the underlying failure detection protocols and building upon this abstract model, formalize the two consensus protocols. We prove that both algorithms satisfy the properties of "uniform agreement","uniform integrity", "termination" and "uniform validity" assuming the correctness of their corresponding failure detectors.
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages34
    Publication statusPublished - 2009

    Publication series

    NameComputer science reports
    Volume0916
    ISSN (Print)0926-4515

    Fingerprint

    Dive into the research topics of 'Formal analysis of consensus protocols in asynchronous distributed systems'. Together they form a unique fingerprint.

    Cite this