1 citations · 1 across the 4 of their papers we have counts for
6 papers
On Finality in Blockchains
Emmanuelle Anceaume, Antonella Pozzo, Thibault Rieutord +1
There exist many forms of Blockchain finality conditions, from deterministic to probabilistic terminations. To favor availability against consistency in the face of partitions, mos…
On Decidability of 2-process Affine Models
Petr Kuznetsov, Thibault Rieutord
An affine model of computation is defined as a subset of iterated immediate-snapshot runs, capturing a wide variety of shared-memory systems, such as wait-freedom, t-resilience, k-…
An Asynchronous Computability Theorem for Fair Adversaries
Petr Kuznetsov, Thibault Rieutord, Yuan He
This paper proposes a simple topological characterization of a large class of fair adversarial models via affine tasks: sub-complexes of the second iteration of the standard chroma…
Reconfigurable Lattice Agreement and Applications
Petr Kuznetsov, Thibault Rieutord, Sara Tucci-Piergiovanni
Reconfiguration is one of the central mechanisms in distributed systems. Due to failures and connectivity disruptions, the very set of service replicas (or servers) and their roles…
Progress-Space Tradeoffs in Single-Writer Memory Implementations
Damien Imbs, Petr Kuznetsov, Thibault Rieutord
Most algorithms designed for shared-memory distributed systems assume the single-writer multi-reader (SWMR) setting where each process is provided with a unique register readable b…
Agreement Functions for Distributed Computing Models
Petr Kuznetsov, Thibault Rieutord
The paper proposes a surprisingly simple characterization of a large class of models of distributed computing, via an agreement function: for each set of processes, the function de…