7 citations · 22 across the 9 of their papers we have counts for
3 papers · 1 filter
Federated Byzantine Quorum Systems (Extended Version)
Álvaro García-Pérez, Alexey Gotsman
Some of the recent blockchain proposals, such as Stellar and Ripple, use quorum-like structures typical for Byzantine consensus while allowing for open membership. This is achieved…
Rule Formats for Nominal Process Calculi
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez +2
The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition syst…
Paxos Consensus, Deconstructed and Abstracted (Extended Version)
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman +1
Lamport's Paxos algorithm is a classic consensus protocol for state machine replication in environments that admit crash failures. Many versions of Paxos exploit the protocol's int…