2 citations · 3 across the 5 of their papers we have counts for
7 papers
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…
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,…
Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version)
Damien Imbs, Achour Mostefaoui, Matthieu Perrin +1
" Yet another paper on " the implementation of read/write registers in crash-prone asynchronous message-passing systems! Yes..., but, differently from its predecessors, this paper…
Atomic Read/Write Memory in Signature-free Byzantine Asynchronous Message-passing Systems
Achour Mosteafoui, Matoula Petrolia, Michel Raynal +1
This article presents a signature-free distributed algorithm which builds an atomic read/write shared memory on top of an -process asynchronous message-passing system in which u…
Causal Consistency: Beyond Memory
Matthieu Perrin, Achour Mostefaoui, Claude Jard
In distributed systems where strong consistency is costly when not impossible, causal consistency provides a valuable abstraction to represent program executions as partial orders.…
Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC
Matthieu Perrin, Claude Jard, Achour Mostefaoui
This article shows how the operational semantics of a language like ORC can be instrumented so that the execution of a program produces information on the causal dependencies betwe…