Concepedia

Consensus Protocol Verification

Consensus Protocol Verification is a formal method for proving the correctness of distributed algorithms that ensure agreement among processes in the presence of failures, distinguished by its focus on verifying safety and liveness properties specific to consensus protocols.

58

Publications

2.3K

Citations

204

Authors

105

Institutions

Publications per year

2017–2026

45

Parents

Publications

58

Planning for change in a formal verification of the raft consensus protocol

Doug Woos, James R. Wilcox, Steve Anton et al. · 2016 · 126 citations · Full text

, , +17

Development, appraisal, validation and implementation of a consensus protocol for the assessment of cerebral amyloid angiopathy in post-mortem brain tissue

Research Explorer (The University of Manchester) · 2014 · 119 citations

, , +14

A Layered Analysis of Consensus

Yoram Moses, Sergio Rajsbaum · SIAM Journal on Computing · 2002 · 114 citations

, , +17

Analysis of the XRP Ledger Consensus Protocol

Brad Chase, Ethan MacBrough · arXiv (Cornell University) · 2018 · 106 citations · Full text

, , +16

P4xos: Consensus as a Network Service

Huynh Tu Dang, Pietro Bressana, Han Wang et al. · IEEE/ACM Transactions on Networking · 2020 · 91 citations

, , +17

1–5 of 58

Authors

204

  1. JY
    Jiangshan Yu

    Monash University, Australia

    2 publications · 104 citations

    2

    h-index

  2. GP
    George Pîrlea

    University College London, United Kingdom

    2 publications · 60 citations

    2

    h-index

  3. GW
    Guoren Wang

    Northeastern University, China

    2 publications · 39 citations

    2

    h-index

  4. OC
    Otto Carlos M. B. Duarte

    Universidade Federal do Rio de Janeiro, Brazil

    2 publications · 66 citations

    2

    h-index

  5. LC
    Lucas C. B. Guimarães

    Universidade Federal do Rio de Janeiro, Brazil

    2 publications · 66 citations

    2

    h-index

1–5 of 204

Institutions

105

  1. Cornell University

    Ithaca, United States

    3 h-index

    4 publications

    175 citations

  2. Beijing Institute of Technology

    Beijing, China

    3 h-index

    6 publications

    150 citations

  3. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    5 publications

    302 citations

  4. University of Luxembourg

    Luxembourg, Luxembourg

    2 h-index

    2 publications

    51 citations

  5. University College London

    London, United Kingdom

    2 h-index

    4 publications

    120 citations

  6. Bridge University

    Juba, South Sudan

    2 h-index

    5 publications

    302 citations

  7. Information Technology University

    Lahore, Pakistan

    2 h-index

    4 publications

    90 citations

  8. University of Oxford

    Oxford, United Kingdom

    2 h-index

    2 publications

    119 citations

1–8 of 105

Venues

  1. arXiv (Cornell University)

    Repository · 4 publications · 203 citations

    4

    h-index

  2. IEEE Access

    3 publications · 77 citations

    3

    h-index

  3. Computers & Security

    4 publications · 170 citations

    3

    h-index

  4. SIAM Journal on Computing

    2 publications · 133 citations

    2

    h-index

  5. Distributed Computing

    2 publications · 124 citations

    2

    h-index

1–5