75 citations · 89 across the 12 of their papers we have counts for
4 papers · 1 filter
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-…
Online Payments by Merely Broadcasting Messages (Extended Version)
Daniel Collins, Rachid Guerraoui, Jovan Komatovic +7
We address the problem of online payments, where users can transfer funds among themselves. We introduce Astro, a system solving this problem efficiently in a decentralized, determ…
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…
Dynamic Byzantine Reliable Broadcast [Technical Report]
Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov +3
Reliable broadcast is a communication primitive guaranteeing, intuitively, that all processes in a distributed system deliver the same set of messages. The reason why this primitiv…