7 citations · 22 across the 9 of their papers we have counts for
9 papers
A unified rule format for bounded nondeterminism in SOS with terms as labels
Luca Aceto, Ignacio Fábregas, Álvaro García-Pérez +1
We present a unified rule format for structural operational semantics with terms as labels that guarantees that the associated labelled transition system has some bounded-nondeterm…
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…
Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
Pablo Nogueira, Álvaro García-Pérez
We study the equivalence between eval-readback and eval-apply big-step evaluators in the general setting of the pure lambda calculus. We study `one-step' equivalence (same strategy…
SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus
Silvia Bonomi, Antonella Del Pozzo, Álvaro García-Pérez +1
This paper revisits the ubiquitous problem of achieving state machine replication in blockchains based on repeated consensus, like Tendermint. To achieve state machine replication…
Deconstructing Stellar Consensus (Extended Version)
Álvaro García-Pérez, Maria A. Schett
Some of the recent blockchain proposals, such as Stellar and Ripple, allow for open membership while using quorum-like structures typical for classical Byzantine consensus with clo…
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…
No solvable lambda-value term left behind
Á. García-Pérez, P. Nogueira
In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form. Unsolvable…