activity
20152020
most citedWhich Broadcast Abstraction Captures -Set Agreement?

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing cs.DCShow all

8 papers · 1 filter

cs.DC2020

State-Machine Replication for Planet-Scale Systems (Extended Version)

Vitor Enes, Carlos Baquero, Tuanir França Rezende +3

Online applications now routinely replicate their data at multiple sites around the world. In this paper we present Atlas, the first state-machine replication protocol tailored for…

cs.DC2019

Wait-Free Universality of Consensus in the Infinite Arrival Model

Grégoire Bonin, Achour Mostéfaoui, Matthieu Perrin

In classical asynchronous distributed systems composed of a fixed number n of processes where some proportion may fail by crashing, many objects do not have a wait-free linearizabl…

cs.DC2018

Extending Causal Consistency to any Object Defined by a Sequential Specification

Achour Mostéfaoui, Matthieu Perrin, Michel Raynal

This paper presents a simple generalization of causal consistency suited to any object defined by a sequential specification. As causality is captured by a partial order on the set…

cs.DC2018

A Simple Object that Spans the Whole Consensus Hierarchy

Achour Mostéfaoui, Matthieu Perrin, Michel Raynal

This paper presents a simple generalization of the basic atomic read/write register object, whose genericity parameter spans the whole set of integers and is such that its k-parame…

cs.DC2017

Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits

Damien Imbs, Achour Mostefaoui, Matthieu Perrin +1

This paper introduces a new communication abstraction, called Set-Constrained Delivery Broadcast (SCD-broadcast), whose aim is to provide its users with an appropriate abstraction…

cs.DC20172 cited

Which Broadcast Abstraction Captures -Set Agreement?

Damien Imbs, Achour Mostéfaoui, Matthieu Perrin +1

It is well-known that consensus (one-set agreement) and total order broadcast are equivalent in asynchronous systems prone to process crash failures. Considering wait-free systems,…