Stellar Quorum Systems

Giuliano Losa 📧

August 1, 2019

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

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: