Stellar Quorum Systems

Giuliano Losa 📧

August 1, 2019

Abstract

We formalize the static properties of personal Byzantine quorum systems (PBQSs) and Stellar quorum systems, as described in the paper “Stellar Consensus by Reduction” (to appear at DISC 2019).

License

BSD License

Topics

Session Stellar_Quorums

Cite

× 
@article{Stellar_Quorums-AFP,
  author  = {Giuliano Losa},
  title   = {Stellar Quorum Systems},
  journal = {Archive of Formal Proofs},
  month   = {August},
  year    = {2019},
  note    = {\url{https://isa-afp.org/entries/Stellar_Quorums.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: