Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Stellar Quorum Systems

Email Gateway (Aug 22 2022 at 20:26):

From: Tobias Nipkow <nipkow@in.tum.de>
Stellar Quorum Systems
Giuliano Losa

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).

https://www.isa-afp.org/entries/Stellar_Quorums.html
smime.p7s

Last updated: Nov 21 2024 at 12:39 UTC