research
∙
05/11/2021
Accountability and Reconfiguration: Self-Healing Lattice Agreement
An accountable distributed system provides means to detect deviations of...
share
research
∙
12/18/2020
On Finality in Blockchains
There exist many forms of Blockchain finality conditions, from determini...
research
∙
08/05/2020
On Decidability of 2-process Affine Models
An affine model of computation is defined as a subset of iterated immedi...
research
∙
04/17/2020
An Asynchronous Computability Theorem for Fair Adversaries
This paper proposes a simple topological characterization of a large cla...
research
∙
10/21/2019