research
∙
12/05/2022
Equivalence of eval-readback and eval-apply big-step evaluators by regimentation of the lambda-calculus's strategy space
We study the equivalence of eval-readback and eval-apply big-step evalua...
share
research
∙
05/28/2021
SoK: Achieving State Machine Replication in Blockchains based on Repeated Consensus
This paper revisits the ubiquitous problem of achieving state machine re...
research
∙
11/12/2019
Deconstructing Stellar Consensus (Extended Version)
Some of the recent blockchain proposals, such as Stellar and Ripple, all...
research
∙
11/08/2018
Federated Byzantine Quorum Systems (Extended Version)
Some of the recent blockchain proposals, such as Stellar and Ripple, use...
research
∙
07/05/2018
Rule Formats for Nominal Process Calculi
The nominal transition systems (NTSs) of Parrow et al. describe the oper...
research
∙
02/16/2018